Natural deduction a proof-theoretical study

Zugl.: Stockholm, Univ., Diss., 1965

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Prawitz, Dag (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Stockholm u.a Almqvist & Wiksell 1965
Schriftenreihe:Stockholm studies in philosophy 3
Schlagworte:
Gentzen, Gerhard > Logic, symbolic and mathematical > Proof theory > Logic > Logic, Symbolic and mathematical > Modality (Logic) > Hochschulschrift > Logik > Deduktion
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Zugl.: Stockholm, Univ., Diss., 1965
Beschreibung:113 S.