Articles liés à Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction - Couverture rigide

 
9780444702661: Constructivism in Mathematics: An Introduction

Synopsis

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é
  • Langueanglais
  • Nombre de pages355

Acheter D'occasion

état :  Comme neuf
Like New
Afficher cet article
EUR 85,78

Autre devise

EUR 29,74 expédition depuis Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 57,71

Autre devise

EUR 7,73 expédition depuis Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Résultats de recherche pour Constructivism in Mathematics: An Introduction

Image d'archives

Van Dalen D. Troelstra Anne S.
Edité par Elsevier, 1988
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 8357734

Contacter le vendeur

Acheter neuf

EUR 57,71
Autre devise
Frais de port : EUR 7,73
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

D. Van Dalen Anne S. Troelstra
Edité par Elsevier, 1988
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 380. N° de réf. du vendeur 26538809

Contacter le vendeur

Acheter neuf

EUR 68,57
Autre devise
Frais de port : EUR 3,57
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Troelstra, A. S./ Van Dalen, D.
Edité par North-Holland, 1988
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 60,32
Autre devise
Frais de port : EUR 11,90
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

A.S. Troelstra, D. van Dalen
Edité par Elsevier Science 1988-07-01, 1988
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 53,98
Autre devise
Frais de port : EUR 18,43
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Van Dalen D. Troelstra Anne S.
Edité par Elsevier, 1988
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 380. N° de réf. du vendeur 18538803

Contacter le vendeur

Acheter neuf

EUR 65,95
Autre devise
Frais de port : EUR 9,95
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image fournie par le vendeur

A.S. Troelstra
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Buch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 54,95
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

A.S. Troelstra
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide
impression à la demande

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 63,64
Autre devise
Frais de port : EUR 31,73
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

A. S. Troelstra
Edité par Elsevier Science, 1988
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Ancien ou d'occasion Couverture rigide

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA75404447026605

Contacter le vendeur

Acheter D'occasion

EUR 85,78
Autre devise
Frais de port : EUR 29,74
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

A. S. Troelstra
Edité par Elsevier Science, 1988
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9780444702661_new

Contacter le vendeur

Acheter neuf

EUR 205,65
Autre devise
Frais de port : EUR 14,25
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Troelstra, A. S.; Van Dalen, D.
Edité par Elsevier Science, 1988
ISBN 10 : 0444702660 ISBN 13 : 9780444702661
Neuf Couverture rigide

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 684563-n

Contacter le vendeur

Acheter neuf

EUR 205,63
Autre devise
Frais de port : EUR 17,85
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre