Constructivism in Mathematics, Vol 1

Name: Constructivism in Mathematics, Vol 1
Brand: Elsevier Science
SKU: 9780444702661
Price: 195.16 EUR
Availability: InStock

Autor: A. S. Troelstra, Dirk van Dalen

Jazyk:

Väzba: Pevná

Vydavateľ: Elsevier Science

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

195.16 €

These two volumes cover the principal approaches to constructivism in mathematics. They present a th...

Informácie o knihe

Autor

A. S. Troelstra, Dirk van Dalen

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1999

Stránok

355

EAN

9780444702661

ISBN

0444702660

Enbook ID

04612005

Vydavateľ

Elsevier Science

Hmotnosť

790

Rozmery

156 x 234 x 22

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Constructivism in Mathematics, Vol 1

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež