[Omega]-Bibliography of Mathematical Logic :

" [Omega]-Bibliography of Mathematical Logic : "
edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.

Document Type	:	BL
Record Number	:	760197
Doc. No	:	b580168
Main Entry	:	edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.
Title & Author	:	[Omega]-Bibliography of Mathematical Logic : : Proof Theory Constructive Mathematics\ edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.
Publication Statement	:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 1987
Series Statement	:	Omega Perspectives in Mathematical Logic
ISBN	:	3662090678
	:	: 9783662090671
Contents	:	Author Index --; Source Index --; Miscellaneous Indexes.
Subject	:	Logic, Symbolic and mathematical.
Subject	:	Mathematics.
Added Entry	:	Anne S Troelstra
	:	Dirk Dalen
	:	Gert H Müller
	:	Jane E Kister

خطا