Akten
On the interpretation of non-finitist proofs I
Enthält: einen von Kreisel mit Widmung versehenen Sonderdruck des Artikels "On the interpretation of non-finitist proofs I" aus The Journal of Symbolic Logic 16, Nr. 4 (1951)
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-5
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1951
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1951
Ähnliche Objekte (12)
On the interpretation of non-finitist proofs II
On the constructive content of proofs
On the improvement of security proofs
On the constructive content of proofs
On the difficulty of discovering mathematical proofs
Automatic equivalence proofs for non-deterministic coalgebras
Proofs from The Book
Proofs from the book
Proofs from the book
Proofs from The Book
Proofs from the book
Proofs from the book
On the interpretation of non-finitist proofs II
On the constructive content of proofs
On the improvement of security proofs
On the constructive content of proofs
On the difficulty of discovering mathematical proofs
Automatic equivalence proofs for non-deterministic coalgebras
Proofs from The Book
Proofs from the book
Proofs from the book
Proofs from The Book
Proofs from the book
Proofs from the book
On the interpretation of non-finitist proofs II
On the constructive content of proofs
On the improvement of security proofs
On the constructive content of proofs
On the difficulty of discovering mathematical proofs
Automatic equivalence proofs for non-deterministic coalgebras
Proofs from The Book
Proofs from the book
Proofs from the book
Proofs from The Book
Proofs from the book