Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Jacob T. Schwartz - Livros - Springer London Ltd - 9781447160182 - 6 de setembro de 2014
Caso a capa e o título não sejam correspondentes, considere o título como correto

Jacob T. Schwartz
Computational Logic and Set Theory: Applying Formalized Logic to Analysis 2011 edition

Preço
R$ 290,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 6 de out
Receba avisos sobre novos lançamentos de Jacob T. Schwartz

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:

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

416 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 6 de setembro de 2014
ISBN13 9781447160182
Editoras Springer London Ltd
Páginas 416
Dimensões 155 × 235 × 23 mm   ·   607 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Jacob T. Schwartz