Metamathematics, Machines And Godel'S Proof
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, Janeiro de 1997 ‧
ver detalhes do produto
63,54€
10% DESCONTO
CARTÃO
Y1dGV2QyOU5NV3BXZFVGNWRHNTNRakZGUldsUmVEQnBObXBGVEcxNFVVbEZaV0o0T0ROaU1teFZTSGR2SzBaV2NqUXZRalZLUWxWUVpIZDVlSGtyV0VGTWRXeFFUMW80UWl0M1dFTmFkVzFFVUhObFlUSlNkbW93TVhjdlEwVmtUM2QyVHpadVZYaFhNVWhqVW05RWNscE1VVmhFVlRkdlprWm1RVGxDUTNGUVowaEdlRzFqVlVzMWNFTmhjek55VldWdE1FMVhOU3RSY21sc2VHdEdSbTFrWjFGYWJHTjZLMGt5T1dGVlJsSmpZV1YxTjFkWE5VUkZVMWR4UlZsaFNrazBhR2wwYkZoTFF6UXlTMkp5ZVhCTFNuZFpSMk15ZURsTGVtaG9XVEZxYWpoVGVHTXZVV2xhUWt4bFJEaFdiR2R3VDB4SFowcG5Xbk12U2xOSlprMHpVbUZYUTJwWmJqQkxVbU5FTmxCbk5rcGtOVmx1Y0V4NFJGUTNTbUpITkhOaGIxRjZabHAxYm5aMWNEVkZkMnQxUkZoS04xcHplRUpDUW1Gc2FFRjJUMkpxYWtzcmJrSlFZekpGUVN0cU5uQlVNMm81VWxFd2FsSlRSVzU0WVdocGN6WllRMmwxY201Q00yRm1UbXhLUkU5WldHaHNSa3hJU2tGNmJqSkNWbFYzWWtOa05VNURObFV4VEUxMFpHWmliMGxXVmtwRVpIcFBSMGx3ZHpCTlIwbDRPV1phY1hGTWVVSnBVRXRYVlRCTk5GUnJOVGRMVUhKU1ZpOXhPV3huY0ZOWmFHVnJSRUZhZDJaemFURmxZa3RpUmpWdkswNXlVa1JzYm1veFJHTkpSR2xhV0UxeEsyRXliRUZhTkZSME9FWnFWV2xQT0VzNGNuWTBjMGR5Ulhaa2IzQTNObUZrUW1oWVdHeFliM1kzVFZONU1HTkJaRk0zVTJVNVNXNW5jekp4TTNRMVpUZFNaREZqYkN0M1NuWjNPRWgwU0hCUk4weHBWV3B0VVhWRVNHOVJZMjVpZWt0UFJDOUpZblptWlZvck5UQjFVMFk0UmpCQ1VEZFpSMlJ4Tm5KTFJVMDRXWFZLYTBOSFlrTlVkbTAxVVUxdU5FTXhUaTlqVWpZNFowVnpMMDFCYlhWVVVsVkJkRlphUlhNNFlpOXZSemh1UmtKeVNuSklWekZWVDJOUU56RnRlbW80WW5ZeFFsUnBjU3RDTTA4MVpHeG1TSEoxYkVsV1FUTXpOMGhFWW1aclIxWmhNRUpFYWxwQ1dUWnVXbEZuUW1oQ2VGZHJlbVV4VUVwQk9GWjJVWEpoWkVRMGVsbEVhRUowUzFSbVRUQjZWMHhNYmtnNVFsbzNjRlpxUkVVMWFFbDNOM0ZJVWpOcU4yOW9WV3R6Y0RNd2QwWXpiMVl6ZEV0VE1GRmFUVlZtYlZKbFEweFpSRXRYY20xeFNqbFNiVGxCUkhsbmNBPT06UVlLUGk2RW5pR0dKYSsyQmJCU05lQT09
portes grátis
Venda o seu livro
SINOPSE
Describes the use of computer programs to check several proofs in the foundations of mathematics.
DETALHES
| 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 |
LIVROS DA MESMA COLEÇÃO
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€portes grátis -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€portes grátis
QUEM COMPROU TAMBÉM COMPROU
-
10%A Course In CombinatoricsCAMBRIDGE UNIVERSITY PRESS93,28€ 10% CARTÃOportes grátis
-
10%Mathematical LogicDOVER PUBLICATIONS INC.33,79€ 10% CARTÃOportes grátis