adicionar à lista de desejos
Introduction To Mathematical Logic And Type Theory eBook
To Truth Through Proof
idioma: inglês
Editor:
SPRINGER NETHERLANDS, abril de 2013 ‧
ver detalhes do produto
105,34€
10% DESCONTO
CARTÃO
YTBKUkwyUnFWMWhPVVVJeVpqbEdNVTVFUTJSR2JHZEhLMFpyTVhFeGFtWXpjVmwzYVUxVGNWaFVPR2R0TWtkd2VuVXpMeXQ1WmxoUFdYaERXRTVrU3pCMk5qUnBNREYwUm14MldUaGFiVmRRV0dkdmJVUTJTMGNyYm1SWFIwdzNXaXQyYkRSa1ZpOTRiVEp1V0V0WFVVSnhNVmMzZEhvcmFUaHJRekJXYUVSV1VXMUVTM0p4UkZOUlkwRjVhMEZIVG5ObE5FOTZURWRGT1U1UFExaE5WVE5JU0dScVMzWnBkMjFGYlhwS1JYcHViMUp2TnpjMlRGTkVNRFpzYkV0clUyZFpibmxKYWtSU05XTlZaVGRZTjBKamIyMVBhbUZhUWxkelp6QnVhMmhTTTB4NWRqbHNia3QyY2taWlprTkRNVWd6YUVkb2QzcHVWVFZvU1ZCTGVFcFVaMXBZVVdrM2J6RmxUamQzU1ZGRmJrOHlXVU14YkhsWU1tWldSMDU1V1N0TmRHcDVlRTF2Y0N0RVJ6TndOemcwTVRsdFlUWmhNekp6VW1sRlZqRlRabmhTVlRKVWFYTXZXbFkxVFhOUmRIQXJSVWRVVm1oRmRrZDFhVmRyYW14S2VYUjRMMVJGZVhkeFNscFFkV2hQTTJ4MUwwc3laMnh0S3pSc1dWbG5RV2c0VlV4TE9YbGFabFJVU21ac1dVeHhXVFYyUXpWRVRVZHROR0pqZGxCbVNITm5jazVOWW5jeVVuSkhaMHhWU2xVeGQwUnJORUpFUjI5WFEzb3hWR3gyYzJOUmRDOUdOM055T1RZMlVreFljRlV3YkdZMFZrUk9lSEJTZDBodlVqUmpWa0ZUZWxGcFNXVlpMelJzVVN0WFExWkhLMU5NYTFwVkt6SjZkMUJHYm13M2FUTnNhblJrTldob0wwbG5NRGhRTDNOcmVWVlhNazFRWm1oRFNURldhbVk1Y0RaelF6VlhSbnByTTAweFIydHhSVXRFWWpkWVpHNWlTWEZ4UWpCS1dtWlRPVk5FSzBWdlJFUTBaM0ozTURjMVprcENSa2wyY1c1SFV6VmlhaTlKYlhGRE1YQkdkR0ZvU0haTVptMDVUMVZvUm5ka05qaG5WREZpZURrckwyaGlOMkZNZW0xTWRVcHZaWGhoY0VVeVZrTlZlWFZCTVhWeU5XVTRhR2R5Y1hSSE1FeHNaVzVyUm5aUmQxbElaSFl4ZGtSNmN6RklhV2huU0hFemEzTlJNV2QxUzJKRmRVNDFOVFZvYkZBM09FeGpNbTA0V1Zac2RqbG1kSE5IVnpWelNVeENSamhOUFE9PTpxaHpFNUtGRVFjK2gzcnRQNWlDcDJnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Providing an introduction to mathematical logic, this work starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, and more. It is of interest to mathematicians, computer scientists, philosophers, and computer scientists.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789401599344 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | abril de 2013 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Applied Logic Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
eBooks em Inglês > Literatura > Linguística e Filologia |
| EAN: | 9789401599344 |
LIVROS DA MESMA COLEÇÃO
-
Modern Perspective On Type TheoryeBook10%SPRINGER NETHERLANDS145,09€ 10% CARTÃO
-
Hybrid Logic And Its Proof-TheoryeBook10%SPRINGER NETHERLANDS118,59€ 10% CARTÃO