ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Diller, J, Müller, G. H
Format:	Buch
Sprache:	eng
Schlagworte:	Logic, Symbolic and mathematical Mathematical Logic and Foundations Proof theory-Congresses Proof theory-Study and teaching
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!