عنوان

[Omega]-Bibliography of Mathematical Logic :

3662090678

9783662090671

b580168

[Omega]-Bibliography of Mathematical Logic :

[Book]

Proof Theory Constructive Mathematics

edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.

Berlin, Heidelberg

Springer Berlin Heidelberg : Imprint : Springer

1987

Omega Perspectives in Mathematical Logic

Author Index --; Source Index --; Miscellaneous Indexes.

Logic, Symbolic and mathematical.

Mathematics.

edited by Gert H. Müller, Jane E. Kister, Dirk Dalen, Anne S. Troelstra.

Anne S Troelstra

Dirk Dalen

Gert H Müller

Jane E Kister

[Book]