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

Gespeichert in:

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!

Titel	Jahr	Band
[Omega]-bibliography of mathematical logic Vol. 5 Set theory / Andreas R. Blass (ed.)	1987	Vol. 5
[Omega]-bibliography of mathematical logic Vol. 2 Non-classical logics / Wolfgang Rautenberg (ed.)	1987	Vol. 2
[Omega]-bibliography of mathematical logic Vol. 3 Model theory / Heinz-Dieter Ebbinghaus (ed.)	1987	Vol. 3
[Omega]-bibliography of mathematical logic Vol. 4 Recursion theory / Peter G. Hinman (ed.)	1987	Vol. 4
[Omega]-bibliography of mathematical logic Vol. 6 Proof theory, constructive mathematics / Jane E. Kister ... (eds.)	1987	Vol. 6
[Omega]-bibliography of mathematical logic Vol. 1 Classical logic / Wolfgang Rautenberg (ed.)	1987	Vol. 1