Metamathematics, Machines and Godel's Proof - Cambridge Tracts in Theoretical Computer Science - Shankar, N. (SRI International, USA) - Livros - Cambridge University Press - 9780521585330 - 30 de janeiro de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

Shankar, N. (SRI International, USA)
Metamathematics, Machines and Godel's Proof - Cambridge Tracts in Theoretical Computer Science

Preço
R$ 373,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 30 de set - 12 de out
Receba avisos sobre novos lançamentos de Shankar, N. (SRI International, USA)

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

Describes the use of computer programs to check several proofs in the foundations of mathematics.

220 pages, 4 b/w illus.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 30 de janeiro de 1997
ISBN13 9780521585330
Editoras Cambridge University Press
Páginas 220
Dimensões 234 × 192 × 14 mm   ·   422 g
Idioma Inglês  
Editor de séries Abramsky, S.
Editor de séries Aczel, P. H.
Editor de séries Bakker, J. W. De
Editor de séries Gurevich, Y.
Editor de séries Tucker, J. V.
Editor de séries Van Rijsbergen, C. J.

Mais da mesma editora

Ver tudo de Shankar, N. (SRI International, USA)