Omega-bibliography of mathematical logic

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!
Beschreibung
Beschreibung:XLI, 405 Seiten
ISBN:3540155244
3-540-15524-4
0387155244
0-387-15524-4