Vertel uw vrienden over dit artikel:
Metalogic: An Introduction to the Metatheory of Standard First Order Logic Geoffrey Hunter
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 26 juni 1973 |
| ISBN13 | 9780520023567 |
| Uitgevers | University of California Press |
| Pagina's | 302 |
| Afmetingen | 209 × 136 × 18 mm · 400 g |
| Taal en grammatica | Engels |
Meer door Geoffrey Hunter
Alles tonenBekijk alles van Geoffrey Hunter ( bijv. Paperback Book en Hardcover Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld