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

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

Verlag: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987

Beschreibung

Org.-Hardcover. Quart, XLI, 405 S., einwandfreies, frisches Exemplar. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3-540-15524-4 UND 0-387-15524-4. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3-540-15524-4 UND 0-387-15524-4. 2000 g.

Bestandsnummer des Verkäufers 4509-0074

Bibliografische Details

• Titel: Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.
• Verlag: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987
• Sprache: Englisch
• Verkäuferkataloge:
  • NATURWISSENSCHAFTEN und MEDIZIN seit 1500 - nat...