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

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

Published by Springer Verlag, Berlin, Heidelberg, New York et. al., 1987

About this Item

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.

Seller Inventory # 4509-0074

Bibliographic Details

• Title: Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.
• Publisher: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987
• Language: English
• Seller catalogs:
  • NATURWISSENSCHAFTEN und MEDIZIN seit 1500 - nat...