Eintrag weiter verarbeiten
Cut Elimination in the Presence of Axioms
Gespeichert in:
Zeitschriftentitel: | The Bulletin of Symbolic Logic |
---|---|
Personen und Körperschaften: | , |
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: |