Logic Symposia, Hakone, 1979 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7 1980

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Müller, G.H, Takeuti, G, Tugue, T
Format:	Buch
Sprache:	eng
Schlagworte:	Logic Logic, Symbolic and mathematical Logic, Symbolic and mathematical-Methodology Mathematical Logic and Foundations Mathematics Mathematics and Statistics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!