Norges billigste bøker

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.

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780198529811
  • Bindende:
  • Paperback
  • Sider:
  • 452
  • Utgitt:
  • 8. juli 2004
  • Dimensjoner:
  • 172x244x22 mm.
  • Vekt:
  • 736 g.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 31. mars 2025

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

Brukervurderinger av A First Course in Logic



Finn lignende bøker
Boken A First Course in Logic finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.