Recomienda este artículo a tus amigos:
Metalogic: An Introduction to the Metatheory of Standard First Order Logic Geoffrey Hunter
Precio
Mex$ 835
sin IVA
Pedido desde almacén remoto
Entrega prevista 18 de ago. - 3 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Geoffrey Hunter
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 26 de junio de 1973 |
| ISBN13 | 9780520023567 |
| Editores | University of California Press |
| Páginas | 302 |
| Dimensiones | 209 × 136 × 18 mm · 400 g |
| Lengua | Inglés |
