Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Libros - University of California Press - 9780520023567 - 26 de junio de 1973
En caso de que portada y título no coincidan, el título será el correcto

Geoffrey Hunter
Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Precio
€ 42,49

Pedido desde almacén remoto

Entrega prevista 12 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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  

Mas por Geoffrey Hunter

Mostrar todo

Ver todo de Geoffrey Hunter ( Ej. Paperback Book y Hardcover Book )