adicionar à lista de desejos
Proofs And Computations
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, December of 2011 ‧
see product details
106,80€
10% OFF
CARD
ZVRKVFZXRmlTWGxNUTBvMGVrRXZNRXhUZEVzMFdYVmFVMVk1YW01clRqRTNVMFJqVEZWUVRWazJVV2RrVnpac1ltUk1kakZvZWxkdFpFNXFlbmN4WkU5S2JsaHZiazVtUVZsSlV6Qk9jWFJHU1V0cU1rVjNTWGhYYWxWTlEyVlRTa1pMUkVVMFdtZDZXbUZSVWxGd2JIUjRjelY0UzBKNFZXVmhVV2xUT0ZKMVZTdElhamRHWlVoUU5ubEROaTkxWTFSTVFscE1WREJHVGtjMVoxbGlWQzlFUVV0TVZsZFJaRWRZVVhsQmVVWk9ja3RaTTA4cmNrSnpTV1owVFRWclZVdHZUV2QyY0c5cFFqRmpaMm96Y21aTFNFSXpZMlJKUWtoRE0zaEhkbXRUYVRGTU9ITkhVMHQxZUhGMVVTOXBibXN4TjJKM2JVbFphM0JJYVRGNVkwNUdkMjR2TmxOV0wzUmhWV3BUUkVONVdUQk1kV3hrU1d0VFJ6ZFlSRkZUTlRCaFRtaFBiblUxVFhoT01teFdVblUxWVd0Q09XOUpaSE5SWWtGUllubDZlVVZvTTAxU2QwNXFWVkJwVDFkS1NTdHhhRkZXY1hkQmEyWjBXRGx1T1hGV1MwWm1Ta0p0ZUdkNGIwZERlR014U1VaUlNEWmtlVmhOY21aM1QxQlpTekUwY0ZsbFZXSkNNbWRTU1hNMk9YWTViMEpZTldjdlRFNTRSVk53WVZRMWJVRTVTV1U1VlRaelFYaDFZVGM0VjNWT09DOWFiV05DUWxScE1rTnJhMnBFU1U5b1JFRmtZMk5TT0ZoT1dtczJhVEZ2YVRjeWJsRXZWRFF5T0drdmNHVnhVa3gxV1RkQlRGZFplbVpLUjJwaFRXUjVhRVZTVGpWc1dWQm9VbmRPTjFsbmQxaHNiV0ZLWldjeEwwNVNTV0pKZDBsaVIzb3ZkbkYyUVRKT2MzaGhOMm92VG1OM0wyZENNbGd3TUZsNmIwbFdObVZuUlRjcmJWZzNlRk5xY0c4d1FreFlhWFJXV2twbmVEbDBhMGxSTUcwMU5YTjJUM0o2VlZkTFNubHBSMDR4YkhoUGJsVmtPSEJ3ZEdSM1ptaFNVMlZSYzBkME0wTjVOR3hKWWpaU1N6TlZTMDlyYlRCcEwzUlFTVXgxVG5kUGFtMURUR2wySzJsM2RqZEtNbE5CUW5KYU5GcFNOR1JQUVZWdlRtOWlTR3MyY2tWVmVrWk9hSEpRWlVoM1R6azBXRk5SVVhKRFZtdzNkM1pvVFVNMFFpOHpiRWgyTlhGcmVERm5VSFZQU1dwaVRWTndNbE5hYWsxRE0yWnlTVTFLUkRGMmJUWkRVMmwxWjBOM00ySkZLMnhGTVZOSFVHVkZlVlZ4Y1VsT1RHMDFRVDA5OlVmb0dFUUNWc1FKb3JpbVowYTc3REE9PQ==
free shipping
Sell your book
SYNOPSIS
Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521517690 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | December of 2011 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 480 |
| Format: | Book |
| Collection: | Perspectives In Logic |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9780521517690 |
BOOKS FROM THE SAME COLLECTION
-
10%Computable Structure TheoryCAMBRIDGE UNIVERSITY PRESS139,92€
155,47€free shipping -
10%Computability In Analysis And PhysicsCAMBRIDGE UNIVERSITY PRESS163,58€ 10% CARDfree shipping