A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability... (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Filosofi: logik
  6. Matematikkens filosofi
  7. Matematisk datateori
  8. A First Course in Logic: An Introduction to Model Theory,...

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

(Bog, Paperback / softback, Engelsk)
Forfatter: Shawn (Department of Mathematics Hedman
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Forlag: Oxford University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Filosofi: logik Matematikkens filosofi Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Oxford University Press
Forfatter Shawn (Department of Mathematics Hedman
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 08-07-2004
Første udgivelsesår 2004
Serie Oxford Texts in Logic
Originalsprog United Kingdom
Sideantal 452
Indbinding Paperback / softback
Forlag Oxford University Press
Sideoplysninger 452 pages
Mål 244 x 172 x 22
ISBN-13 / EAN-13 9780198529811