1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Metalogic: An Introduction to the Metatheory of Standard First...

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

(Bog, Paperback / softback, Engelsk)
Forfatter: Geoffrey Hunter
Metalogic: An Introduction to the Metatheory of Standard First Order Logic
Forlag: University of California Press

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Læsernes anmeldelser (0)

Alle detaljer

Forlag University of California Press
Forfatter Geoffrey Hunter
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 26-06-1973
Første udgivelsesår 1973
Originalsprog United States
Sideantal 302
Indbinding Paperback / softback
Forlag University of California Press
Sideoplysninger 302 pages
Mål 136 x 209 x 18
ISBN-13 / EAN-13 9780520023567