Fr. 75.00

Constructivism in Mathematics, Vol 1

Inglese · Copertina rigida

In fase di riedizione, attualmente non disponibile

Descrizione

Ulteriori informazioni

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.

Dettagli sul prodotto

Autori D. van Dalen, A.S. Troelstra, A.s. Van Dalen Troelstra, D. van Dalen
Editore ELSEVIER SCIENCE BV
 
Lingue Inglese
Formato Copertina rigida
Pubblicazione 01.07.1988
 
EAN 9780444702661
ISBN 978-0-444-70266-1
Pagine 355
Serie Studies in Logic and the Foundations of Mathematics
Categorie Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica

MATHEMATICS / History & Philosophy, Mathematical foundations

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.