Eintrag weiter verarbeiten
Proof theory, History and philosophical significance, edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen, Synthese library, vol. 292, Kluwer Academic P...
Gespeichert in:
| Zeitschriftentitel: | Bulletin of Symbolic Logic |
|---|---|
| Personen und Körperschaften: | |
| In: | Bulletin of Symbolic Logic, 8, 2002, 3, S. 431-432 |
| Medientyp: | E-Article |
| Sprache: | Englisch |
| veröffentlicht: |
Cambridge University Press (CUP)
|
| Schlagwörter: |