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
Y0RRMmRXMHhNR281VVV0SFdDdHlSalJQYnpaT2EyOWhXQ3RyY1VsMFQwcE1VSGROVWt4NVRURnFTMmx0Ymt0VWFXWjFaRXcyYkZwSE5WUXJNMUZ3V0drMWMwOXJOVXhNY1d3eEsxaGpSRFJ0UWxWSWFXZHdPSEEyV1dRellsQXZRa2sxUWtST1NreExabVpOTjJGcVVUQjVWa1prYVdWQ2FqWnpRM2dyY0RVMGJrNTBjVEUxTUVJeVptUjZPV3BwVEcweE5GUTRNWFZhWTNaR01rVlJkRFEzUTNWQ2FuaGtRVVZUWkRWR2VXdHhWa1IyTUZaYWVVZEtPWEJtY0RGUWNHeHVTVTF5VUc0MEsyOXNjSEIxV0VWNFp6QmpiMmRqVVhsVWFXZDNXV2w2VFdWWVFVYzBSRkZKTlVGdWNWSkdTMFZKS3prMEszWnJkRTFHYWpVM2R6QkJReTlXV1hFMmJYVTNXVkpZY1hkaFJGZ3pNRFptY1RSWGEzUjBSV3cxTUdaVVFtUndibVZrYUVwSGFsUm5TSHBVYzFab2FuZ3piWE5oYlRWcU1WSkVTbk5JTVhsMFRUTldZblYwVW5SdFRrWTFURWsyT1hGNlpUSkZNV05UYW1Gb2FtTnJXbk5LTmpWeVNpOXBUVGs0Ym5Ca1VsTjBUSEV3UkhKT1NEaGpLM0JNVEVRdmRIcG1TRVZTVFVScFNGRlZibGQ0UjFoNlNuTnhTSFJzTTFnMmFqUk9SV1lyWVhGVU5sZHJiRUU0WTJzM1ZWaEZhMlJ4VURoVFMyWnlSazVWUWpkTldUZGlWMlJaZERGMGRqbGxUVk42VkZKU1FtWnNWQzlPYzJSbGVrRkRVMGhDT1c0MWNHSnVkSFJaYmtaVlRsVm9jMmhuVG05S2JsUkRia2x1YzBORFJYaHlNblZsY25ZcmRqaFBZa2czV25SdU0wRlRjRE5WZHprcksySm1TVFpvUWtwMFFuVkpNV3hpYUdsM04xTldRM0ZNYmtkRVIzRjNSakJhU0Uxbll6WkJWa1ZQU1UwelEzRldXVFJVVlhCcmRWQnBOVnBWYzFOM2JreDJiWGcwYlVjNFlVOVFlV2hRYUVaeU5tWjFabWwwTm5kbFFrOTVjMUIxU0ZoTFQxWkphbGhXZEZocFlqVlhiMHgyVFRoek0yTnBMMmN2VDNvM1duZEJZbTFIYjFKV1pUSTVVREV3WlRsNFRISkNjVk5VZGxwNmFWSXhlbXhDUm1Kb1RXZzRUVkV4YkZKREswWjNhWE0yV0VORVYwaEhZbmhwVlhaSWRUTlhWSEpGWm5wcUszb3pNVlpCUFE9PTpZSDFXczA0SksvQTl5cHVOSDU0bFBBPT0=
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9789401599344 |
| Publisher: | SPRINGER NETHERLANDS |
| Release Date: | April of 2013 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Applied Logic Series |
| Categories: |
eBooks in English
>
Science
>
Mathematics
eBooks in English > Fiction > Linguistics and Philology |
| EAN: | 9789401599344 |
BOOKS FROM THE SAME COLLECTION
-
Modern Perspective On Type TheoryeBook10%SPRINGER NETHERLANDS145,09€ 10% CARD
-
Hybrid Logic And Its Proof-TheoryeBook10%SPRINGER NETHERLANDS118,59€ 10% CARD