The Mathematics of Logic: A Guide to Completeness Theorems and their Applications (Bog, Paperback / softback, Engelsk)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

(Bog, Paperback / softback, Engelsk)

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

Beskrivelse

Undergraduate textbook covering the key material for a typical first course in logic, including a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. The author ensures that the number of new concepts at each stage is manageable, whilst providing lively mathematical applications throughout.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Richard W. (University of Birmingham) Kaye
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 12-07-2007
Første udgivelsesår 2007
Illustrationer Worked examples or Exercises; 4 Line drawings, unspecified
Originalsprog United Kingdom
Sideantal 216
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 216 pages, Worked examples or Exercises; 4 Line drawings, unspecified
Mål 156 x 229 x 12
ISBN-13 / EAN-13 9780521708777