Pastāsti draugiem par šo preci:
Metalogic: An Introduction to the Metatheory of Standard First Order Logic Geoffrey Hunter
Cena
€ 47,49
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 22. okt. - . gada 5. nov.
Saņemiet paziņojumus par jauniem Geoffrey Hunter izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1973. gada 26. jūnijs |
| ISBN13 | 9780520023567 |
| Izdevēji | University of California Press |
| Lapas | 302 |
| Izmēri | 209 × 136 × 18 mm · 400 g |
| Valoda | Angļu |
