10% de desconto

Metamathematics, Machines And Godel'S Proof

de N. (Sri International, Usa) Shankar
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, Janeiro de 1997 ‧
63,54€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
Describes the use of computer programs to check several proofs in the foundations of mathematics.

Metamathematics, Machines And Godel'S Proof

de N. (Sri International, Usa) Shankar

Propriedade Descrição
ISBN: 9780521585330
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: Janeiro de 1997
Idioma: Inglês
Dimensões: 189 x 233 x 12 mm
Encadernação: Capa mole
Páginas: 220
Tipo de produto: Livro
Coleção: Cambridge Tracts In Theoretical Computer Science
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780521585330