Proof Theory, Constructive Mathematics (Vol 6) (Omega-Bibliography of Mathematical Logic) - Hardcover

Kister, Jane E.; Dalen, Dirk Van ; Troelstra, Anne S.; Muller, Gert H.

9783540155249: Proof Theory, Constructive Mathematics (Vol 6) (Omega-Bibliography of Mathematical Logic)

Hardcover

ISBN 10: 3540155244 ISBN 13: 9783540155249

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1987

View all copies of this ISBN edition

2 Used

From � 70.80

0 New

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

"synopsis" may belong to another edition of this title.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date: 1987
Language: English
ISBN 10: 3540155244
ISBN 13: 9783540155249
Binding: Hardcover
Number of pages: 405
Editor: Muller Gert H.

Search results for Proof Theory, Constructive Mathematics (Vol 6) (Omega-Biblio...

Stock Image

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, 1987

ISBN 10: 3540155244 ISBN 13: 9783540155249

Used Hardcover

Seller: Antiquariat Stefan Wulf, Berlin, Germany

Seller rating 5 out of 5 stars

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

Contact seller

Buy Used

� 70.80

� 21.48 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image