Eintrag weiter verarbeiten
Buchumschlag von Cut Elimination in the Presence of Axioms
Verfügbar über Open Access

Cut Elimination in the Presence of Axioms

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: The Bulletin of Symbolic Logic
Personen und Körperschaften: Negri, Sara, Von Plato, Jan
In: The Bulletin of Symbolic Logic, 4, 1998, 4, S. 418-435
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Association for Symbolic Logic
Schlagwörter: