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

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

Geoffrey Hunter

Preço
¥ 7.341,56

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 2 - 11 de jul

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

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

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 English  
Mostrar tudo

Mais por Geoffrey Hunter

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