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
ZEZGWFFrTXpPRFpNYWtwRlNuTkxTVzlVT1hGa01IQlBjMDQzYkN0YVkwMWxaVGN2VjFJM09EbHBZMEZUVEVWTVFVcGFlR3RxVkcxaVJsTm9aR1o0ZVRCMVVXOUhiM0paT1dwMWJITjVObUpJVDNSelpFWTNiMkZRTkVodGJUazNVMlpIY21aVWQwbFlZbEJNZW1jd1NXVnNUMDByWjBGcGVYSnBSRlZOT1hoRGMzaElaM2hTV0doUFZWTk9Za2RwWWsxM2RHeDNaRzFrWVhVeWFIRnpka2x0WW5SaFl6WkdjMUJzTVhaNU16bEtUVmRCU0VSNFN6QnpMMjkxV0RNMGFIcFRObVZHWVZkaVdHYzJTSEJrWkRocFNVMURhRlEyVkVGWVduY3lSRUp1TlhoamJsUTVhMFZ0Tm5oeWFVeE1ORFphYlhoU1V6bHdaVXhaWjJSVVNVMW1ja3hMWjJOeWJFSm1NMGhSTnk5MWVVTjZPVFpwYlVNeVJFODNSRzUwTlRsYU9GZEpLMEZ3UWpWSk5sQlBMMjlJZUVoVFdHSktPREpOTURaTlZuTnZZazlOUjNaQ1EwWnNabTE1Vm1SSlNqRjZXRFpRSzI0cmJ6UjRlRkJEV1VGc1dqZ3hNVWxuU2t4QlkzVXlWRkF6TTBFeWRYTmxSMWxKVVd4Vk5EaEZhVmg1Y2pGaE1rOHdMM0JZUWxSWWRtZHhVMXBxU1RaSWJERndjbGxKYjJkVFFWVjRLeXRCUlVaaVMzUmpOMk5aUnpJeFJraGFSelpLV2pJd09XMVpORGRIVWtVdmNtZFdlbTltVlRoYVltaFhlRmd6VG1rMVNVWnBWRlp1TUVZclFuSkpkeXRxVjBzeVNYQndlRlJJZDNKeU1Ha3dORUppT1dRNVdFSk9RVWhJY21zd2MzQlNOSEZSY2pkS1dFTlhURFpzVVRoRFpESnJVRk5TZGtwTFlWRnhjMFpCVld4YU1EWTVTalowYVdaamRHUlVUVEpFVGxvMlREbHRVMHBKTms5UVRHdzJjVzVCTkVFd2JrbDFRVlJZVDIxU05GcDJVVU5xWnpkQ1VsTkhkVE5hVG05MGVuVXlTWEo2VERWU1REVjRhemhtTURSSk5WZFhTMVkwZGpoR0t6ZzBSV0pLVFdsUU0xcHNTSGx6VkRjMWVFWlVhSGxVZW1NMk4yNVFZbWhrVUdsblZrWTBUM2RGT0RGc2QzRllhazE0YURrelJIcENja1ZMTW1WQk1tdExhR2MwTUdsclR5dE5PRUp4YjBncldscFljakYxV213MU4zRndkMjlsVkVZek5sZG1UVmh2UFE9PTpKMTJCTDlIY0xYekluaVJMUm56V0dRPT0=
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