Write to the booksellers
Manzano (Maria)
Extensions of First Order Logic
Cambridge University Press , Cambridge Tracts in Theoretical Computer Science Malicorne sur Sarthe, 72, Pays de la Loire, France 1996 Book condition, Etat : Très Bon hardcover, editor's illustrated binding grand In-8 1 vol. - 410 pages
Reference : Cyb-7229
1st Edition Contents, Chapitres : Contents, Preface, xxii, Text, 388 pages - 1. Standard second order logic : Second order grammar - Standard structures - Standard semantics - Semantic theorems - 2. Deductive calculi : Sequent calculii - Soundness theorem in standard semantics - Incompleteness in standard structure - 3. Categoricity of second order Peano arithmetic : Categoricity of Peano axioms - Peano models and primitive recursion - Induction models - Induction models and primitive recursion in induction models - 4. Frames and general structures : Second order frames - General structures - Algebraic definition of general structures - Logics obtained by weakening the schema of comprehension - Weak second order logic - 5. Type theory : A relational theory of finite types - RTT with lambda - Algebraic definition of relational general structures - A functional theory of types - Equational presentation of the functional theory of finite types - 6. Many-sorted logic : Structures - Formal many-sorted language - Semantics - Substitution of a term of a variable - The completeness of many-sorted logic - Reduction to one-sorted logic - 6. Applying many-sorted logic : General plan - Higher order logic as many-sorted logic - Modal logic - Propositional modal logic as many-sorted logic - The MODO theory - First order modal logic as many-sorted logic - Dynamic logic - Propositional dynamic logic as many-sorted logic 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.
1 book(s) with the same title
Muller (G.H.), Oberschelp (A.) and Potthof (K.), eds. - Z. Adamowicz - E. Borger - M. Boos - K. Devlin - K. Devlin and R. Jensen - J. Fenstad - R. Fittler - T. Flannagan - J. Flum - K. Gloede - C. Imbert - S. Kochen - P. Krauss - F. v. Kutschers - W. Marek and A. Mostwocki - H. Rasiowa - D. Scott
Reference : Cyb-6277
(1975)
ISILC Logic Conference - Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (Mathematical Logic) , Lecture Notes in Mathematics, volume 499 (An observation on the product of Silver's forcing - Recursively unsolvable algorithmic problems and related questions reexamined - Lectures on large cardinal axioms - Indescribability properties and small large cardinals - Marginalia to a theorem of Silver - Computation theories : An axiomatic approach to recursion on general structures - Closed models and hulls of theories - Axioms of choice in Morse-Kelley class theory - First-order logic and its extensions - Set theory in infinitary languages - Sur la méthode en histoire de la logique - The model theory of local fields - Quantifier elimination - Intensional semantics for natural languages - On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - Many-valued algorithmic logic - Data types as lattices)
Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1975 Book condition, Etat : Bon paperback, editor's yellow and black printed wrappers grand In-8 1 vol. - 655 pages
1st edition, 1975 Contents, Chapitres : Contents, v, Text, 651 pages - Z. Adamowicz : An observation on the product of Silver's forcing - E. Borger : Recursively unsolvable algorithmic problems and related questions reexamined - M. Boos : Lectures on large cardinal axioms - K. Devlin : Indescribability properties and small large cardinals - K. Devlin and R. Jensen : Marginalia to a theorem of Silver - J. Fenstad : Computation theories : An axiomatic approach to recursion on general structures - R. Fittler : Closed models and hulls of theories - T. Flannagan : Axioms of choice in Morse-Kelley class theory - J. Flum : First-order logic and its extensions - K. Gloede : Set theory in infinitary languages - C. Imbert : Sur la méthode en histoire de la logique - S. Kochen : The model theory of local fields - P. Krauss : Quantifier elimination - F. v. Kutschers : Intensional semantics for natural languages - W. Marek and A. Mostwocki : On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - H. Rasiowa : Many-valued algorithmic logic - D. Scott : Data types as lattices wrappers are clean with minor folding tracks on corners of the bottom part, inside is clean, paper is lightly yellowing, the former owner had underlined very few lines at red ink with rules, about 25 lines, the text remains clean, his signature on the corner of the first page, it's still a good reading copy
