An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series - Peter B. Andrews - Livros - Springer - 9789048160792 - 9 de dezembro de 2010
Caso a capa e o título não sejam correspondentes, considere o título como correto

Peter B. Andrews
An Introduction to Mathematical Logic and Type Theory: to Truth Through Proof - Applied Logic Series 2nd Ed. 2002. Softcover Reprint of the Original 2n edition

Preço
R$ 503,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Peter B. Andrews

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

Ainda não avaliado

Também disponível como:

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It covers topics such as: syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, and, Skolemization.

414 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de dezembro de 2010
ISBN13 9789048160792
Editoras Springer
Páginas 414
Dimensões 156 × 234 × 21 mm   ·   576 g

Mais da mesma editora

Ver tudo de Peter B. Andrews