
Vinkkaa tuotetta kavereillesi:
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
Geoffrey Hunter
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
Katso kaikki joka sisältää Geoffrey Hunter ( Esim. Paperback Book Ja Hardcover Book )