Items related to Constructivism in Mathematics, Vol 1 (Volume 121) (Studies...
Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherElsevier Science
- Publication date1988
- ISBN 10 0444702660
- ISBN 13 9780444702661
- BindingHardcover
- LanguageEnglish
- Number of pages355
Buy New
View this item
£ 48.51
£ 6.50 shipping from United Kingdom to U.S.A.
Destination, rates & speedsSearch results for Constructivism in Mathematics, Vol 1 (Volume 121) (Studies...
Stock Image
Constructivism in Mathematics Vol.1
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Seller Inventory # 8357734
Quantity: 3 available
Stock Image
Constructivism in Mathematics: An Introduction: Vol 001
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 358 pages. 9.25x6.25x1.00 inches. In Stock. Seller Inventory # __0444702660
Quantity: 2 available
Stock Image
Constructivism in Mathematics, Vol 1: An Introduction: Volume 121 (Studies in Logic and the Foundations of Mathematics)
Published by
Elsevier Science 1988-07-01, 1988
ISBN 10: 0444702660
ISBN 13: 9780444702661
New
Hardcover
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Seller Inventory # 6666-ELS-9780444702661
Quantity: Over 20 available
Stock Image
Constructivism in Mathematics Vol.1
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 380. Seller Inventory # 26538809
Quantity: 3 available
Stock Image
Constructivism in Mathematics Vol.1
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 380. Seller Inventory # 18538803
Quantity: 3 available
Seller Image
Constructivism in Mathematics, Vol 1
Published by
Elsevier Science & Technology, Elsevier Science, 1988
ISBN 10: 0444702660
ISBN 13: 9780444702661
New
Buch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. Englisch. Seller Inventory # 9780444702661
Quantity: 2 available
Seller Image
Constructivism in Mathematics, Vol 1
Published by
Elsevier Science & Technology, Elsevier Science, 1988
ISBN 10: 0444702660
ISBN 13: 9780444702661
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. 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. Seller Inventory # 9780444702661
Quantity: 2 available
Stock Image
Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics (Volume 121))
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA75404447026605
Quantity: 1 available
Stock Image
Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780444702661_new
Quantity: Over 20 available
Seller Image
Constructivism in Mathematics : An Introduction
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 684563-n
Quantity: Over 20 available