adicionar à lista de desejos
A Short Introduction To Intuitionistic Logic
language: english
Publisher:
Springer Science+Business Media, October of 2000 ‧
see product details
166,28€
10% OFF
CARD
U21aMFpYTmlOREY1V0RReVkyVmhRbmwwU1dSM1UyWjBaVFZYVkdveGRFVXJjbFpXTHpRMFJtdFZWRTUxYjFCcFVYTlRXWEZuZUhwc01XeDJhWGR0WWxBd04xaEdPWEYwZDNFMGIzcHllazVvWVdsUVkyaENPVXhyU1RKRFpsSjVTV3hhYUVWbk0yYzVaVXhLUlRZMVNIWmtOWFJyVmtkbVUwWTJNVlJUY2xWdk5qVmxWa3RFZWpaQlIyNDJaMEp3Vkc1VU5GcFNiRzFMWkdSNGQzbGpaemRCY0VkVk9HbGlSMng2UWpsM2QyMTVUek5RWjBkV1ZWSmFVbFp6ZERoM1lsWXpLMk5aYkZCR016RnpSSHB5YmxKa2NVeHVUbEJrVGpaTVoxUjViblZ0YURnMmRrbDFkV1ZGYVVSNVRFbEZUM2hFYWl0MlJVMHpiR1pJUTNWbmJtTkNNVzFyYXpKdkwxWmhObmRTYlhGUWMwNXBVR1ZJTWsxbE5UWXdkeTltZUV3NVJVSnRiVVp6UzJWemRHcE9OM3BZUlZjMllqaEViRlkxV210Wk5GUkhWVUZJZFVoSVp6aGhOWGh6VVZoMU1VVXplbGhrV1dNdlJWZGhTMVZhZFVKTVpEaGhSVTluZFhoeldrVlJRVEJTVjJWYVRXOU1aazVSVGtacWFuaG1OMjlUYm5ka1REZG1SMFVyUVdkb2NEUm9TVzFJYkRaWFZ6RkJaRlJIVG1oSmVVcFhMMVpDVkZCNE5IRkdXWFZ0YUZVMFVGcGpjWEpKTmk5SWRXZHpjRTFSVFhCVVFqTnJhMmREZDNaSmVGVnNLMGh0Y0ZoUEsyMUpaV0pMU205UFkycDJVVlpMU1haeWRXdzJkVk5IZVRad2RqaHhhRUZJYzNjNFpXZE1XR1JtZFRGNFVFcFdNR2d2ZUhObVVFWjZhMmwwYkRKa1owaGhUSFZyVVU1R1JFcFBNRTFXY1RGUkwyNHZURm80UlhsaVUwNUxOa1pQYldGaFMyTXhPVXBSTTNWMmRIcFFkRE0xV25oV1EwSkZTR1JOTTFwNFlqRlBaSEZMU0RGV1drRm1jM1UyYW1SUmVEQTBhR1ZHVjB4S1NIWnNaVWROTkVzMWJHdHdVV05QZFRoMk1saDJWMmhXUVdzdk56UlZNV1ZFU2psVU5ESXZPR1E0V1dveFJYZzJjekpyZWxWek5VWnhPRkpXTW1SUk1VRkdSVWQxZGtwV2VEVlhWWEl4VURCQlkwMU9NR1V5TTFSUVJTOVlXR3hWUnpSTFUyTklVV2xXZW5WaWRXNDNia0poYlVScU1WZGhia1JXUlhWNWRGQlNNVFJuYVRKcVNEWm5lVGhaUVhNeVZFNVlhMmxvTVhOVVFYQXJRVVpsWkN0WE16SkhkejA5OlExSWZNQmtPdXE5OTZKelhxY3YzdWc9PQ==
free shipping
Sell your book
SYNOPSIS
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780306463945 |
| Publisher: | Springer Science+Business Media |
| Release Date: | October of 2000 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 131 |
| Format: | Book |
| Collection: | University Series In Mathematics |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9780306463945 |
BOOKS FROM THE SAME COLLECTION
-
eBook10%Elliptic Differential Equations And Obstacle ProblemsSPRINGER US237,84€ 10% CARD
-
eBook10%Matrix Theory: A Second CourseSPRINGER US118,59€ 10% CARD
-
10%A Short Introduction To Intuitionistic LogicSPRINGER-VERLAG NEW YORK INC.177,78€ 10% CARDfree shipping