A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Valutazione media 4,17
( su 12 valutazioni fornite da GoodReads )
 
9780198529811: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

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.

Book Description:

'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.

I migliori risultati di ricerca su AbeBooks

1.

Hedman, Shawn
Editore: Oxford University Press, United Kingdom (2004)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, United Kingdom, 2004. Paperback. Condizione libro: New. 236 x 168 mm. Language: English . Brand New Book. 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. Codice libro della libreria AAW9780198529811

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 65,10
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Hedman, Shawn
Editore: Oxford University Press (2004)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 1
Da
TEXTBOOKCHARLIE
(Nashville, TN, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, 2004. Paperback. Condizione libro: New. Brand new! Ships same day or next business day. Free USPS Tracking Number. Excellent Customer Service. Ships from TN. Codice libro della libreria 195583

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 65,17
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,72
In U.S.A.
Destinazione, tempi e costi

3.

Hedman, Shawn
Editore: Oxford University Press, United Kingdom (2004)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, United Kingdom, 2004. Paperback. Condizione libro: New. 236 x 168 mm. Language: English . Brand New Book. 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. Codice libro della libreria AAW9780198529811

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 69,00
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Hedman, Shawn
Editore: OUP Oxford (2004)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro OUP Oxford, 2004. PAP. Condizione libro: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria LQ-9780198529811

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 61,69
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,64
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Hedman, Shawn
Editore: OUP Oxford (2016)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro OUP Oxford, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780198529811_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 76,05
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,37
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Hedman, Shawn
Editore: OUP Oxford (2004)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Secaucus, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro OUP Oxford, 2004. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IQ-9780198529811

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 79,06
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,72
In U.S.A.
Destinazione, tempi e costi

7.

Hedman, Shawn
Editore: Oxford University Press (2004)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Brossura Quantità: 1
Da
Book Deals
(Lewiston, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, 2004. Condizione libro: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: 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. Codice libro della libreria ABE_book_new_0198529813

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 93,56
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

8.

Hedman, Shawn
Editore: Oxford University Press (2004)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, 2004. Paperback. Condizione libro: New. book. Codice libro della libreria 0198529813

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 93,58
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Hedman, Shawn
Editore: OUP Oxford (2004)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro OUP Oxford, 2004. Paperback. Condizione libro: Brand New. illustrated edition. 452 pages. 9.25x6.50x1.00 inches. In Stock. Codice libro della libreria zk0198529813

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 101,64
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,09
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Hedman, Shawn
Editore: Oxford University Press, USA
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 20
Da
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, USA. Paperback. Condizione libro: New. Paperback. 452 pages. Dimensions: 9.3in. x 6.6in. x 1.1in.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 authors 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Codice libro della libreria 9780198529811

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 116,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,69
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro