Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Kirjat - University of California Press - 9780520023567 - tiistai 26. kesäkuuta 1973
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Geoffrey Hunter

Hinta
¥ 7.621,90

Tilattu etävarastosta

Arvioitu toimitus to - ma 3. - 14. heinä
Lisää iMusic-toivelistallesi
Eller

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

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.


302 pages, Ill.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 26. kesäkuuta 1973
ISBN13 9780520023567
Tuottaja University of California Press
Sivujen määrä 302
Mitta 209 × 136 × 18 mm   ·   400 g
Kieli English  

Näytä kaikki

Lisää tuotteita Geoffrey Hunter