Articles liés à A First Course in Logic : An Introduction to Model...
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, Computability, and Complexity - Couverture souple
Synopsis
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Revue de presse
'a clear and unifying treatment of fundamental concepts underlying Computer Sciences and Foundations of Mathematics' Professor Boris Zilber (Professor of Mathematical Logic, University of Oxford)
'an excellent book' Professor Dov Gabbay (King's College, London)
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 92,48
EUR 4,61 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour A First Course in Logic : An Introduction to Model...
Image fournie par le vendeur
A first course in logic. An introduction in model theory, proof theory, computability, and complexity.
Edité par
Oxford, Oxford University Press, 2008
ISBN 10 : 0198529813
ISBN 13 : 9780198529811
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Reprinted. 431 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03732 9780198529811 Sprache: Englisch Gewicht in Gramm: 1150. N° de réf. du vendeur 2513436
Quantité disponible : 1 disponible(s)
Image d'archives
A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, . and Complexity: 1 (Oxford Texts in Logic)
Edité par
Oxford University Press, 2004
ISBN 10 : 0198529813
ISBN 13 : 9780198529811
Ancien ou d'occasion
Paperback
Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR002342969
Quantité disponible : 1 disponible(s)
Image d'archives
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Edité par
Oxford University Press, 2004
ISBN 10 : 0198529813
ISBN 13 : 9780198529811
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780198529811_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
A First Course in Logic
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780198529811
Quantité disponible : Plus de 20 disponibles
Image d'archives
A First Course in Logic
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780198529811
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
First Course In Logic : An Introduction To Model Theory, Proof Theory, Computability, And Complexity
Edité par
Oxford University Press, 2004
ISBN 10 : 0198529813
ISBN 13 : 9780198529811
Neuf
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3184531-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
A First Course in Logic (Paperback)
Edité par
Oxford University Press, Oxford, 2004
ISBN 10 : 0198529813
ISBN 13 : 9780198529811
Neuf
Paperback
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic,as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course. Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory. Extremely clear, thorough and accurate, this text is ideal for a first or refresher course. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9780198529811
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
First Course In Logic : An Introduction To Model Theory, Proof Theory, Computability, And Complexity
Edité par
Oxford University Press, 2004
ISBN 10 : 0198529813
ISBN 13 : 9780198529811
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3184531-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Edité par
Oxford University Press, 2004
ISBN 10 : 0198529813
ISBN 13 : 9780198529811
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 797. N° de réf. du vendeur C9780198529811
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
First Course In Logic : An Introduction To Model Theory, Proof Theory, Computability, And Complexity
Edité par
Oxford University Press, 2004
ISBN 10 : 0198529813
ISBN 13 : 9780198529811
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 3184531
Quantité disponible : Plus de 20 disponibles