Write to the booksellers
Stewart (Ian) and Tall (David)
The Foundations of Mathematics
Oxford University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1985 Book condition, Etat : Bon paperback, editor's printed wrappers In-8 1 vol. - 274 pages
Reference : Cyb-7256
reprinted with corrections, 1st was 1977 Contents, Chapitres : Preface, Contents, Symbols, xi, Text, 263 pages - 1. The intuitive background : Mathematical thinking - Number systems - 2. The beginnings of formalization : Sets - Relations - Functions - Mathematical logic - Mathematical proof - 3. The development of axiomatic systems : Natural numbers and proof by induction - The real numbers as a complete ordered field - Complex numbers and beyond - Cardinal numbers - 4. Stregthening the foundations : Axioms for set theory - References and index Spine lightly yellowing, else near fine copy, no markings
Bookseller's contact details
Librairie Internet Philoscience
M. Arnaud Le Bras
7, rue Gambetta
72270 Malicorne-sur-Sarthe
France
Payment mode
Sale conditions
Philoscience ® est une librairie spécialisée sur les ouvrages universitaires de science et de philosophie, lancée début 2000. Avec plus de 54.000 livres de science et de philosophie vendus à travers le monde en plus de 24 ans sur Internet, nous proposons un vaste choix de livres à des prix raisonnables, notamment des livres sur l'histoire de l'informatique et la cybernétique, les sciences cognitives, et d'assez nombreux ouvrages de sciences exactes. Depuis le lancement de l'activité, un soin particulier est porté à la qualité du service au client, aussi bien dans le choix des livres, la fiabilité de leur description, ainsi que dans la rapidité d'envoi des colis, généralement le jour même de la commande. Nos emballages sont soignés afin d'éviter toute détérioration pendant le transport. N'hésitez pas à nous contacter si vous souhaitez d'autres informations, notamment des précisions sur l'état ou le contenu des ouvrages. Nous sommes en permanence à la recherche de livres universitaires, avec des possibilités d'achat à travers la France et l'Europe limitrophe. Frais de port les plus économiques par défaut, sauf sur des ouvrages très volumineux ou dépassant 50 €. Nous ne traitons aucune commande par téléphone. Toute commande par téléphone sera automatiquement et définitivement annulée. Nous ne répondons plus aux messages où ne figure pas l'ADRESSE COMPLETE d'EXPEDITION. Il est possible de visiter notre librairie, sur rendez-vous uniquement afin de fixer une date et un horaire, il n'y a pas d'horaires d'ouverture définis. Paiements acceptés : Paypal à notre demande (après confirmation du montant total), chèque et virement.
5 book(s) with the same title
Schmidt (H. Arnold), Schutte (K.) and Thiele (H.-J.), eds. - P.H.G. Aczel - W.W. Boone - W. Haken and V. Poenaru - W.K. Burton - H.B. Curry - J. Diller - W. Felscher - R. Harrop - L. Hodes and E. Speckler - H. Lauchli - W. Obserschelp - D. Prawitz and P.-E. Malmnas - D. Siefkes G. Takeuti and M. Yasugi - Alfred Tarski - A.S. Troelstra
Reference : Cyb-6273
(1968)
Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover, 1966 (Logique mathématique) , Studies in Logic and the Foundations of Mathematics (Saturated intuitionistic theories - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - On recursively unsolvable problems in topology and their classification - Constructive thermodynamics - A deduction theorem for inferential predicate - Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - Equational maps - Some forms of models of proportional calculi - Lenghts of formulas and elimination of quantifiers I - A decision procedure for the weak second order theory of linear order - Strukturzahlen in endlichen Relationssystemen - A survey of some connections between classical intuitionistic and minimal logic - Zur Semantik der intuitionischen Aussagenlogik - Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - Reflection principles of subsystems of analysis -Equational logic and equational theories of algebras - The use of Brouwer's principle in intuitionistic topology)
North-Holland Publishing Company , Studies in Logic and the Foundations of Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon hardcover, editor's yellow printed binding, no dust-jacket grand In-8 1 vol. - 309 pages
1st edition, 1968 Contents, Chapitres : Contents, Preface, xi, Text, 298 pages - P.H.G. Aczel : Saturated intuitionistic theories - W.W. Boone : Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - W.W. Boone, W. Haken and V. Poenaru : On recursively unsolvable problems in topology and their classification - W.K. Burton : Constructive thermodynamics - H.B. Curry : A deduction theorem for inferential predicate - J. Diller : Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - W. Felscher : Equational maps - R. Harrop : Some forms of models of proportional calculi - L. Hodes and E. Speckler : Lenghts of formulas and elimination of quantifiers I - H. Lauchli : A decision procedure for the weak second order theory of linear order - W. Obserschelp : Strukturzahlen in endlichen Relationssystemen - D. Prawitz and P.-E. Malmnas : A survey of some connections between classical intuitionistic and minimal logic - K. Schütte : Zur Semantik der intuitionischen Aussagenlogik - D. Siefkes : Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - G. Takeuti and M. Yasugi : Reflection principles of subsystems of analysis - A. Tarski : Equational logic and equational theories of algebras - A.S. Troelstra : The use of Brouwer's principle in intuitionistic topology the editor's binding is fine but without dust-jacket, inside is good, adhesives tracks on the end-paper (first and last pages), the former owner had underlined very few lines at red ink with rules, on about 20 lines, the text remains clean, it's still a good copy in the first edition, 1968, no other markings
Reference : alb36d5773e9c0f2191
Gilbert D. Bernays P. The Foundations of Mathematics. In two volumes: T.1-Logic
Gilbert D. Bernays P. The Foundations of Mathematics. In two volumes: T.1-Logic Calculations and the Formalization of Arithmetic. T2-Theory of Proof. In Russian (ask us if in doubt)/Gilbert D. Bernays P. Osnovaniya matematiki. V 2 -kh tomakh: T.1-Logicheskie ischisleniya i formalizatsiya arifmetiki. T.2-Teoriya dokazatelstv.. E6
Reference : 100469
The search for mathematical roots, 1870-1940 : logics, set theories and the foundations of mathematics from Canto through Russell to Gödel, tome 1 : Grattan-Guinness.
Princeton University Press Princeton University Press, 2000 (copyright), 690 p., broché, environ 23x15cm, des pliures sur le second plat, bords de la couverture un peu frottés par endroits, des traces d'adhésif sur la page de titre et la dernière page de l'index, sinon intérieur propre.
En anglais. Merci de nous contacter à l'avance si vous souhaitez consulter une référence au sein de notre librairie.
Mathematical Logic and the Foundations of Mathematics. An Introductory Survey.
Ldn., N.Y., 1963. Orig. worn cloth. XIV, 435 pp.
Mathematical Logic and the Foundations of Mathematics. An Introductory Survey.
London, D. van Nostrand, (1963). 8vo. Orig. full cloth. XIV,435 pp.
First edition.
