Marknadens största urval
Snabb leverans

A First Course in Logic

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

Om A First Course in Logic

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 mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780198529811
  • Format:
  • Häftad
  • Sidor:
  • 452
  • Utgiven:
  • 8. juli 2004
  • Mått:
  • 172x244x22 mm.
  • Vikt:
  • 736 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 4. april 2025

Beskrivning av A First Course in Logic

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.

Användarnas betyg av A First Course in Logic



Hitta liknande böcker
Boken A First Course in Logic finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.