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
YTBWMlRVSTJaVWxGWlVndmEyeE1kRkJzSzJnMVN5OTNRMVpQUjFkbmFGaHJaRkJ4TlRoTVZrZHBZbmhxZDA1b2FGWXhia2hoVVUxaVRIRlZZM0ZOUzNoaVowZExVbXBtVlZKdFluUnRXVzFSUTFORlZVcFVSMVZpTURSS1dWUmhaMEpZVUVsaGNWQTNkamh3ZFV0MlFXNDRVekZOZEVWT1N6VnZTMFE0TlZWVVVWWmpTRTlPTVVkME5TOUdZekpEYkhVMWQzRnpiV0l6T1dkcGVqTnBlVGt5VFc1dloxRlhVMVJrYTNOcVlsVTNOMUl3TkRGUVRHMUxhbmxqVVdreGIxa3hjMDF4ZW5WRGJGaFFkRTlJYkRGdlYwcHRlbXBCZHpGeU5XMXFWbU0zVFhWYWIzbGFPRkJ1U2pNeGEwWjVTbXRtU1hkWFMxWnRaekpGTHpNcllrRmtSazEyU21VNVVHaEJlbEZNZG1RMVNEbHlhVmt6WjFFNVRIQTNiRWxCWldwU2FIUkNhMmxoVERWTFYyMHZSMGs0U0hkc1ZFbHZkMjV0UkdJNVdtdEtLMWxaY210WlFuUXlXWGxHZWxvMFZVSlVSVmRQYjFKdU9IZ3lTV1ZDWmtkNU9IZEpkMlIxS3k5NFdrcDFPRmsyVXpaWUwwNUhiVVoyTDNwdk1XNU1ibk00U0d0eU4ydDJLMnBVVlhKV2JXcEVMMWREWlhOeFExazJPSGRHYTNacVEyMXdTVVUzU0ZWVFdqUlRlV0Z2YVRadFRuTTRWWE42YTBOSlZXUnlRWGhIWmtkQ1pUQTNXRVoxTUVOdmIwbzVWMGhtUVd0bGVrdEJhbkZRSzFoc2EzWmpkbVpyUzNOU1QyOHhSRTFZSzFWUGVrOUljelJTYXpsMVVsRTJSMms1ZFhZd1UzZHdXRE5yUWpGNFdTOXFkRGN3YURsYU5qUm5WRzlZZW10S2JYTkRSMUpoZEdjcmQxWkdWR1ZMU1Rsd2VtSXhNakJoVnpWdVNGRnVaelEwVm1ad05uZHdOMmt5VW1aMk5XNDJlRUpMYkdGRk9VZHlNV1kwYzFCaE1rOW1aM2RzTXpSVlZVMDVZVFpPZUdRMVRtb3JlVzVMVGpaeVkxVlRXbFZCT1M5SVVXeFJPRkJ5TmxsSU9YSlNlR3RZYzNGd2RYWktVRGRCYW1Zd2RWUkJNV01yYjFkMlEwRlVTR0o1TVN0a2FYRlhXbFJFVjFnMFZtb3llRlJFUms0d2RtMTFWVWwzTDFCNVYxUnFZbWRFWlZGSUsyWnBUMVJIU3psalZuQTNPQzlLVG1aT05qaFRkMU5SUFE9PTpONTVGMHJBK0szUjlhd3hvN2hDeS93PT0=
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 |
| 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
-
eBook10%Modern Perspective On Type TheorySPRINGER NETHERLANDS145,09€ 10% CARTÃO
-
eBook10%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS118,59€ 10% CARTÃO