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