Articoli correlati a 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: 1 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
'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)
Contenuti
- Preliminaries
- 1: Propositional Logic
- 2: Structures and First-Order Logic
- 3: Proof Theory
- 4: Properties of First-Order Logic
- 5: First-Order Theories
- 6: Models of Countable Theories
- 7: Computability and Complexity
- 8: The Incompleteness Theorems
- 9: Beyond First-Order Logic
- 10: Finite Model Theory
- Bibliography
- Index
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 92,88
EUR 6,34 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costi
Risultati della ricerca per A First Course in Logic : An Introduction to Model...
Immagini fornite dal venditore
A first course in logic. An introduction in model theory, proof theory, computability, and complexity.
Editore:
Oxford, Oxford University Press, 2008
ISBN 10: 0198529813
ISBN 13: 9780198529811
Antico o usato
Softcover
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 2513436
Quantità: 1 disponibili
Foto dell'editore
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)
Editore:
Oxford University Press, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Antico o usato
Paperback
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo GOR002342969
Quantità: 1 disponibili
Foto dell'editore
A First Course in Logic
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780198529811
Quantità: Più di 20 disponibili
Foto dell'editore
A First Course in Logic
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9780198529811
Quantità: Più di 20 disponibili
Foto dell'editore
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780198529811_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
First Course In Logic : An Introduction To Model Theory, Proof Theory, Computability, And Complexity
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 3184531-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
A First Course in Logic (Paperback)
Editore:
Oxford University Press, Oxford, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Nuovo
Paperback
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9780198529811
Quantità: 1 disponibili
Immagini fornite dal venditore
First Course In Logic : An Introduction To Model Theory, Proof Theory, Computability, And Complexity
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 3184531-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
First Course In Logic : An Introduction To Model Theory, Proof Theory, Computability, And Complexity
Editore:
Oxford University Press, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 3184531
Quantità: Più di 20 disponibili
Foto dell'editore
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Editore:
Oxford University Press, 2004
ISBN 10: 0198529813
ISBN 13: 9780198529811
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 797. Codice articolo C9780198529811
Quantità: Più di 20 disponibili