Omega-bibliography of mathematical logic 6 Proof theory, constructive mathematics

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Kister, Jane E. (HerausgeberIn), Müller, Gert H. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer-Verlag 1987
Schriftenreihe:	Perspectives in Mathematical Logic
Schlagworte:	Bibliografie
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!