Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)

Buch

Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.

Beschreibung

Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.

Produktdetails

• Verlag: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987
• ISBN-13: 9783540155249
• Artikelnr.: 24378135