Articles liés à Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction - Couverture rigide

Troelstra, A.S.; Van Dalen, D.

 
9780444702661: Constructivism in Mathematics: An Introduction
Couverture rigide
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Editeur : Elsevier Science Ltd, 1988
Afficher les exemplaires de cette édition ISBN
 
 
Book by A S Troelstra

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur :

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurElsevier Science Ltd
  • Date d'édition1988
  • ISBN 10 0444702660
  • ISBN 13 9780444702661
  • ReliureRelié
  • Nombre de pages355

Acheter neuf

En savoir plus sur cette édition
9780444702661: Constructivism in Mathematics: An Introduction
EUR 60

Autre devise

Frais de port : EUR 11,84
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Troelstra, A. S./ Van Dalen, D.
Edité par North-Holland (1988)
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : 2
Vendeur :
Revaluation Books
(Exeter, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Hardcover. Etat : Brand New. 358 pages. 9.25x6.25x1.00 inches. In Stock. N° de réf. du vendeur __0444702660

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 60
Autre devise

Ajouter au panier

Frais de port : EUR 11,84
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

A. S. Troelstra
Edité par Elsevier Science (1988)
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : > 20
impression à la demande
Vendeur :
Brook Bookstore On Demand
(Napoli, NA, Italie)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur ef95d1ab7da1baae94ed26766d540e5b

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 61,46
Autre devise

Ajouter au panier

Frais de port : EUR 11,13
De Italie vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

A.S. Troelstra
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Buch Quantité disponible : 2
impression à la demande
Vendeur :
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Buch. Etat : 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. N° de réf. du vendeur 9780444702661

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 54,95
Autre devise

Ajouter au panier

Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image d'archives

A. S. Troelstra
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : 15
Vendeur :
THE SAINT BOOKSTORE
(Southport, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Hardback. Etat : New. New copy - Usually dispatched within 4 working days. N° de réf. du vendeur B9780444702661

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 70,96
Autre devise

Ajouter au panier

Frais de port : EUR 10,59
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

A.S. Troelstra
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : 2
impression à la demande
Vendeur :
AHA-BUCH GmbH
(Einbeck, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Buch. Etat : 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. N° de réf. du vendeur 9780444702661

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 63,17
Autre devise

Ajouter au panier

Frais de port : EUR 32,99
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Troelstra, A.S.|van Dalen, D.
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : > 20
impression à la demande
Vendeur :
moluna
(Greven, Allemagne)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 . N° de réf. du vendeur 594686964

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 54,90
Autre devise

Ajouter au panier

Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image d'archives

A. S. Troelstra
Edité par Elsevier Science (1988)
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : 1
Vendeur :
BennettBooksLtd
(North Las Vegas, NV, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 4 étoiles, Learn more about seller ratings

Description du livre Etat : New. New. In shrink wrap. Looks like an interesting title! 1.65. N° de réf. du vendeur Q-0444702660

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 126,38
Autre devise

Ajouter au panier

Frais de port : EUR 4,95
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

A.S. Troelstra, D. van Dalen
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : > 20
Vendeur :
Chiron Media
(Wallingford, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Hardcover. Etat : New. N° de réf. du vendeur 6666-ELS-9780444702661

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 170,17
Autre devise

Ajouter au panier

Frais de port : EUR 17,74
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Anne S. Troelstra
Edité par Butterworth-Heinemann (1988)
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : > 20
impression à la demande
Vendeur :
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9780444702661_lsuk

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 196,82
Autre devise

Ajouter au panier

Frais de port : EUR 11,81
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

A. S. Troelstra
Edité par Elsevier Science (1988)
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide Quantité disponible : > 20
Vendeur :
Lucky's Textbooks
(Dallas, TX, Etats-Unis)
Evaluation vendeur
Evaluation du vendeur : Evaluation 5 étoiles, Learn more about seller ratings

Description du livre Etat : New. N° de réf. du vendeur ABLIING23Feb2215580212536

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 249,07
Autre devise

Ajouter au panier

Frais de port : EUR 3,69
Vers Etats-Unis
Destinations, frais et délais