Intuitionism and proof theory proceedings of the Summer Conference at Buffalo, N. Y., 1968

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Summer Conference on Intuitionism and Proof Theory (BerichterstatterIn)
Weitere Verfasser:	Kino, Akiko (HerausgeberIn), Myhill, John (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Amsterdam u.a. North-Holland 1970
Schriftenreihe:	Studies in logic and the foundations of mathematics
Schlagworte:	Intuitionistic mathematics > Congresses > Konferenzschrift > Beweistheorie > Intuitionistische Mathematik > Mathematische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!