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

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

ISBN 10: 3540155244 / ISBN 13: 9783540155249

Published by Springer Verlag, Berlin, Heidelberg, New York et. al., 1987, 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 3540155244 UND 0387155244. [=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 3540155244 UND 038715524#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
• Publication Date: 1987
• Language: English
• ISBN 10: 3540155244
• ISBN 13: 9783540155249
• Binding: Hardcover
• Weight: 2000 grams
• Seller catalogs:
  • NATURWISSENSCHAFTEN und MEDIZIN seit 1500 - nat...