[Omega]-bibliography of mathematical logic Vol. 6 Proof theory, constructive mathematics / Jane E. Kister ... (eds.)

Bibliographische Detailangaben

Weitere Verfasser:	Kister, Jane E. (HerausgeberIn), Müller, Gert H. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 1987
Schriftenreihe:	Perspectives in mathematical logic
Schlagworte:
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!