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

Valutazione media 4,13
( su 15 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.

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.

I migliori risultati di ricerca su AbeBooks

1.

Shawn Hedman
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 63,92
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 64,78
Convertire valuta

Aggiungere al carrello

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

3.

Shawn Hedman
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 68,59
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 60,57
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,45
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 69,70
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,88
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
(Wood Dale, IL, 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 78,59
Convertire valuta

Aggiungere al carrello

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

7.

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

Descrizione libro Oxford University Press, USA, 2004. Paperback. Condizione libro: New. Codice libro della libreria DADAX0198529813

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 85,59
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,70
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,17
Convertire valuta

Aggiungere al carrello

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

9.

Hedman, Shawn
Editore: Oxford University Press (2017)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 3
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria P110198529813

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 91,90
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,77
In U.S.A.
Destinazione, tempi e costi

10.

Hedman, Shawn
Editore: Oxford University Press (2017)
ISBN 10: 0198529813 ISBN 13: 9780198529811
Nuovi Paperback Quantità: 20
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Oxford University Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria 0198529813

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 96,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,77
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro