An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Applied Logic Series - Peter B. Andrews - Livros - Springer-Verlag New York Inc. - 9781402007637 - 31 de julho de 2002
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 edition

Preço
R$ 718,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 is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

408 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de julho de 2002
ISBN13 9781402007637
Editoras Springer-Verlag New York Inc.
Páginas 390
Dimensões 160 × 242 × 28 mm   ·   721 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Peter B. Andrews