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

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

Hinta
₪ 170,50

Tilattu etävarastosta

Arvioitu toimitus pe - ti 5. - 16. joulu
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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 Englanti  
Näytä kaikki

Lisää tuotteita Geoffrey Hunter

Katso kaikki joka sisältää Geoffrey Hunter ( Esim. Paperback Book Ja Hardcover Book )