Articles liés à Constructive Mathematics: Proceedings of the New Mexico...
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 - Couverture souple
Synopsis
Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics - the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how?.- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in ?n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de la quatrième de couverture
Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics - the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how?.- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in ?n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Constructive Mathematics: Proceedings of the New Mexico...
Image fournie par le vendeur
Constructive mathematics : proceedings of the New Mexico State University conference, held at Las Cruces, New Mexico, August 11 - 15, 1980. Lecture notes in mathematics, 873
Edité par
Springer, 1981
ISBN 10 : 3540108505
ISBN 13 : 9783540108504
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. VI, 347 S. : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 595. N° de réf. du vendeur 2206933
Acheter D'occasion
EUR 19,95
Expédition à EUR 15,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
impression à la demandeVendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. N° de réf. du vendeur 6666-IUK-9783540108504
Acheter neuf
EUR 47,27
Expédition à EUR 5,97
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 20 disponible(s)
Image fournie par le vendeur
Constructive mathematics. Proceedings of the New Mexico State University conference held at Las Cruces New Mexico August 11 - 15 1980.
Edité par
Berlin, Springer-Verlag, 1981
ISBN 10 : 3540108505
ISBN 13 : 9783540108504
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-02782 3540108505 Sprache: Englisch Gewicht in Gramm: 1050. N° de réf. du vendeur 2488663
Acheter D'occasion
EUR 21,40
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Constructive mathematics : proceedings of the New Mexico State Univ. conference, held at Las Cruces, New Mexico, August 11 - 15, 1980. ed. by F. Richman, Lecture notes in mathematics , Vol. 873
Edité par
Berlin , Heidelberg , New York : Springer, 1981
ISBN 10 : 3540108505
ISBN 13 : 9783540108504
Ancien ou d'occasion
kart.
Vendeur : Die Wortfreunde - Antiquariat Wirthwein Matthias Wirthwein, Mannheim, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
kart. Etat : Sehr gut. VI, 347 S. : graph. Darst. , 25 cm 1981. Neuwertiges Exemplar. No shipping to other EU countries due to the EU Packaging and Packaging Waste Regulation (PPWR), which entered into force on August 12, 2026. Sprache: Englisch. N° de réf. du vendeur 37828
Acheter D'occasion
EUR 24
Expédition à EUR 39
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Constructive Mathematics
Edité par
Springer Berlin Heidelberg Aug 1981, 1981
ISBN 10 : 3540108505
ISBN 13 : 9783540108504
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics ¿ the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how .- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis. 356 pp. Englisch. N° de réf. du vendeur 9783540108504
Acheter neuf
EUR 42,75
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9783540108504_new
Acheter neuf
EUR 56,42
Expédition à EUR 13,51
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics - the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how .- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis. N° de réf. du vendeur 9783540108504
Acheter neuf
EUR 52,74
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Constructive Mathematics
Edité par
Springer Berlin Heidelberg, 1981
ISBN 10 : 3540108505
ISBN 13 : 9783540108504
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. N° de réf. du vendeur 4881128
Acheter neuf
EUR 39,56
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Constructive Mathematics
Edité par
Springer, Springer Vieweg Aug 1981, 1981
ISBN 10 : 3540108505
ISBN 13 : 9783540108504
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics ¿ the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how .- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch. N° de réf. du vendeur 9783540108504
Acheter neuf
EUR 42,75
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
Edité par
Springer, 1981
ISBN 10 : 3540108505
ISBN 13 : 9783540108504
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 356 | Sprache: Englisch | Produktart: Bücher | Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics ¿ the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how?.- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in ?n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis. N° de réf. du vendeur 4327276/202
Acheter D'occasion
EUR 30,98
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)