adicionar à lista de desejos
Introduction To Mathematical Logic And Type Theory eBook
To Truth Through Proof
language: english
Publisher:
SPRINGER NETHERLANDS, April of 2013 ‧
see product details
105,34€
10% OFF
CARD
YkM5V1dtdGFOQ3RZTlhkS2F6QnhZVkJvVjJJMlQxTkhVM1p1VXpabVpWcGliVmhZU1UxdU5EQkhPRk16V2pGaVUyMWlaVmhyT1M5eWVscGxUakE1VVZCQmRXVm5jV3BPYms5SWFFVlZaV1ZyY21jMFNsSkthR3hJU0c1aFpFVkdMM2Q0TWtVMGN5OW1jemxQVEd0RE5XMWpjWGhoTURZdldXOVdhM2xWU0hCeVUzRlFSR05ISzFscWJYQm1Xamd4UkhKd2NrUjJkbWRuYWpWaFZtbExOR052UzA1R09XZEtTMlZ1Y1hZNFFUWTVZamxvVkZwaU9IbERPV1JpTUhGa2VtSTVXVFZWTmxVMVVuRjBaVzFwVEdSVldteGhTSE5TTUU1cFdYbEplbGxsTVZRdk5tZFpTMmxNYTNGcVFuVTFNa1JEYVRkMFZXMU5VM0JyUWsxVE9VNUdPVkpCWTJ0cE0yUk5UMlpRVWtwRk9VRTVlR1ppWWpOb01GSnhNSFJNZUdZclN5OTNVbmx1VDI1NVJGZFBkM2xYTmxKNGJqaDFURGN4Wm1GbGIyNTJWSGRWTmpWU2VDdHdWRUY1VVhaS0wwTTJUMncyUWtwNFkyZFpaazV3ZGl0NFF6WXZUSEpoWTBkdU1DODJkMGhoU21WamNtbERkazE0TTBkVGVVTjRiR2hMWTJ4c05GTkxkR05WU0M4dlF5dHhVbEZOV0RoRE1UTTRUVXg0TTFrd2FYWjVSVlZPYXpSWFZVOU5jbGRsUkVKdlZYWlBRVGhoSzAxc2NYQmtkVlU1U1dsV056ZE5kVFpEZHpaNVdWcEpSREZFTjB4SVVIVkNabk5zYW1WRFZUbERWemR5ZUUxSEwxSlNSWFYxYld0V1NXZEJhbEI1WWxZdlEzSTBWM3B2VWxCdE1IRnBZbVpGYlhsWUwweG1SSFZ0TTJac01sUlBiMnRSYlhGcFVXWlRhM2xMVDBkM1NYRm9NV3cyZW05UWJVWXdkMDlMU1hvNVExZ3JkRVprZGpOSlRsbEpOemhVT1dWVlRWTTVWeTl5VTJSYVlYWkVOVGhPWkV0cmVIZGlkek50ZFROWlVFZElWMVpwU0c1SFNrZG1Uek4yYW1OWldUWlRXbVZQYW1aM2Qya3ZTMFpvVkRCS1F6SkdiMUYwV1daSGJuVXlSRkZwU21aU01XMUtZV2hxYVhSSlNGQXdPWG9yZWpJM2NUVjBNWGxSZFRGUlVscHlObVZRUWpSSVVGVXpSR2t2WjB3NFltcDVWR05yY2tGVmIxVm1Ua0U0VkdkSk5TOXRVM3A0YzBWSk5rZDNhak5SUFE9PTpLaXFXSWthYTZWN2FlRDJ6WFNOQ2VnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
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.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9789401599344 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Fiction > Linguistics and Philology |
| EAN: | 9789401599344 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Modern Perspective On Type TheorySPRINGER NETHERLANDS145,09€ 10% CARD
-
eBook10%Hybrid Logic And Its Proof-TheorySPRINGER NETHERLANDS118,59€ 10% CARD