Write to the booksellers
Bridge (Jane)
Beginning Model Theory - The Completeness Theorem and Some Consequences
Clarendon Press - Oxford , Oxford Logic Guides Malicorne sur Sarthe, 72, Pays de la Loire, France 1977 Book condition, Etat : Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 151 pages
Reference : Cyb-7246
1st edition Contents, Chapitres : Preface, Contents, viii, Text, 143 pages - Introduction : Background set theory - 1. Relational structures : Definitions and examples - The first order language associated with a relational structure - Interpretations - 2. Formal system for the predicate calculus : Axioms and rules for the predicate calculus - Consistency - Language and metalanguage - Further metatheory - First order theory with equality - 3. The completeness theorem and its corollaries : Definitions and outlines of the proof - Completeness for countable languages - Countable languages Le with equality - Completeness for uncountable languages - Applications for the compacteness theorem - Completeness for the propositional calculus - 4. Beginning Model Theory : The Löwenheim-Skolem theorems - Completeness and categoricity - Elementary embeddings and model completeness - Completeness and decidability the spine of the jacket had lots its colors (discoloration), else fine copy
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.
1 book(s) with the same title
Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides)
Oxford university press 1977 152 pages 15 748x1 778x23 622cm. 1977. Cartonné jaquette. 152 pages.
Bon état intérieur prorpe avec sa jaquette (dos insolé)
