Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Livros - University of California Press - 9780520023567 - 26 de junho de 1973
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 43,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 7 - 16 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do 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.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 26 de junho de 1973
ISBN13 9780520023567
Editoras University of California Press
Páginas 302
Dimensões 209 × 136 × 18 mm   ·   400 g
Idioma Inglês  

Mais por Geoffrey Hunter

Mostrar tudo

Ver tudo de Geoffrey Hunter ( por exemplo Paperback Book e Hardcover Book )