Artículos relacionados a Metalogic: An Introduction to the Metatheory of Standard...
Críticas
"A remarkable book, in a class by itself among logic books. It has the ideal combination of readability, thoroughness, and preciseness. . . . Recommended not only as a first course text, but also as painless, indeed pleasurable reading."--"Computing Reviews
Reseña del editor
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 35,00
EUR 45,00 gastos de envío desde Francia a Estados Unidos de America
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para Metalogic: An Introduction to the Metatheory of Standard...
Imagen del vendedor
Metalogic _ An Introduction to the Metatheory of Standard First-Order Logic
Publicado por
Macmillan, London, 1971
ISBN 10: 0333115902
ISBN 13: 9780333115909
Antiguo o usado
Paperback
Librería: San Francisco Book Company, Paris, Francia
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. Paperback Octavo. wraps, 288 pp covers worn on the edges foxing on the edges Standard shipping (no tracking or insurance) / Priority (with tracking) / Custom quote for large or heavy orders. Nº de ref. del artículo: 100184
Gastos de envío:
EUR 45,00
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles