Hardback. New. These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature. ISBN 0444702660 9780444702661 [GB]

Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Constructivism in Mathematics Vol.1. ISBN 0444702660 9780444702661 [GB]

ISBN10: 0444702660, ISBN13: 9780444702661, [publisher: Elsevier Science & Technology, Elsevier Science] Hardcover nach der Bestellung gedruckt Neuware - Printed after ordering - These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.
[Einbeck, Germany] [Publication Year: 1988]
Show/Hide image

ISBN10: 0444702660, ISBN13: 9780444702661, [publisher: Elsevier Science] Hardcover New. In shrink wrap. Looks like an interesting title! 1.65
[North Las Vegas, NV, U.S.A.] [Publication Year: 1988]