Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Constructivism in Mathematics, Vol 1, Volume 121 (Hardcover) Loot Price: R5,645

Discovery Miles 56 450

Repayment Terms: R529 pm x 12*

Add to cart

Constructivism in Mathematics, Vol 1, Volume 121 (Hardcover): A. S. Troelstra, D.van Dalen

Constructivism in Mathematics, Vol 1, Volume 121 (Hardcover)

A. S. Troelstra, D.van Dalen

Series: Studies in Logic and the Foundations of Mathematics

(sign in to rate)

Loot Price R5,645 Discovery Miles 56 450 | Repayment Terms: R529 pm x 12*

Expected to ship within 12 - 17 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Elsevier Science Ltd
Country of origin:	United Kingdom
Series:	Studies in Logic and the Foundations of Mathematics
Release date:	July 1988
First published:	July 1988
Authors:	A. S. Troelstra • D.van Dalen
Dimensions:	234 x 156 x 23mm (L x W x T)
Format:	Hardcover
Pages:	355
ISBN-13:	978-0-444-70266-1
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Academic & Education > Professional & Technical > Mathematics
LSN:	0-444-70266-0
Barcode:	9780444702661