A First Course in Logic (häftad)
Fler böcker inom
Format
Häftad (Paperback)
Språk
Engelska
Antal sidor
452
Utgivningsdatum
2004-07-01
Upplaga
illustrated ed
Förlag
OUP Oxford
Illustrationer
illustrations
Dimensioner
243 x 171 x 20 mm
Vikt
732 g
Antal komponenter
1
Komponenter
67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam
ISBN
9780198529811

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

av Shawn Hedman
Häftad,  Engelska, 2004-07-01
1189
Köp
Spara som favorit
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Passar bra ihop

  1. A First Course in Logic
  2. +
  3. Don't Believe Everything You Think

De som köpt den här boken har ofta också köpt Don't Believe Everything You Think av Joseph Nguyen (häftad).

Köp båda 2 för 1381 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Recensioner i media

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

Innehållsförteckning

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

Du kanske gillar