adicionar à lista de desejos
Theorem Proving With The Real Numbers eBook
language: english
Publisher:
SPRINGER LONDON, December of 2012 ‧
see product details
118,59€
10% OFF
CARD
U0c1SkwwSnJMM0JJWkdvMU9ITXpZVTVpTDAxc1VEWm5Xa0YzS3pCRFIwRTFZVmhOZWtZMk0wZENOelZYUlhwUFRVSlFjWGh2YkUxS2VVUXlha05oV0dGV2FXeEJTVk50YUhKR1FXWjBZa1JWYzBZMlpXNXBSemxoU0ZsQk5HbHZSVmhMTm1sWlRubFpiVlYxZG01UlVqSjRZMjFKVVdOUGVYZzBLMUJ4ZUhaTVJVMXJSRU5VV25oeFFWcFpaRmd4ZFVaS1ZpdDZVV0U1VDJGQ2Ntd3pSRE5xYWpWR2JuUldOSFV3U1ZCQlZIazFiSGR4Uld4bFQzSjNha05PTVZoSVEycGpXRk5aT1dsMGVHTnNWVko0WjJZelFUVmxVVFJxVUcxcVJUUkdibk0xU25wUUwwZHVjMVJsUTAwclltb3JTV0ZrWVUwcmFFWXpaR1pvUTJoQlQwTTJNRzVSUjB0Tk4yMU9Ua1E1ZFVGa2JWSXZUazFSZEdOamVsSXdOWE5tWlZGTWJUTnZVWFJRVGxsUVR6VkhSbUV2T0dSdWJVcHJReTl2T1ZwTU1qWldaMUJXVDFSWFMxaG9UVVYxU1RCT01UTjJUMDVzVkdWbVFUZDFRMEo2V1RoVFNYbExPREpvT0RWUWEyMHlURTh3VTNGWmVsVTRkRzV2ZGxCMk4wNXlVbU5xZG1ObFF5OTFXbkZpY1dKT09HSmFORXhLYkRkSWFGbFhhV0pYYVZoaE1YUTRkVVY2UlU5c1NHcGxVa3hVUlRoTWRsaHFkbXBOU0ZkYU0xaEtPVWhpVFRCc1VERkJUa2R5Y2xObmJWQlFieTlqZGxCTWVEUkVPWEJuV0dKUWMwaEljM1JxUkU1M2NqTklPWHBZWkdzNFprMUhNMFpCZVhsaU5HUk5SR2RMVW1rNGVIRk5kM05pZEdWeE1tWktTMkY0WW10aldVcGlhWGxaZVVreU1XZHpNa2syUVhWTFlreEpMMHBSUjA4MlRIQXhSMmN4T1d4V1ZEQkRRMnhMVnpkQ0sydG9iMFIzV1VaNVlqVXlMMjQ1YWpGclNVazJjVlJIY1Nzd2RXOU5hMmRpWVc4M01IVTFOa0ptTmxRcmIyWlNZalF5VW1scGVVdFlaRU41ZUZoalEwSnRSMGs0TjJ3eGFGbExVR3h2U25ZcmVUUlhhRlpOUlRWbFoyb3dUR3M0Wkdkb2EzZDRkWEZ3ZERjeEsxaHVVa2hJWVRkS1RYbFFiMHhUYmxWblZEWTBLM0VyY0dWcFIxbEVRbEpOUlhoYU16QTRkRWMwU0hsWFpFZHFaVGhsV25WUlpYZEVPSGRyUFE9PToxLzlndTh6ZU5vVXllaEFRdzV6cnlnPT0=
IMMEDIATE AVAILABILITY
Ebook for ADE
SYNOPSIS
This book discusses the use of the real numbers in theorem proving. We de- scribe the rigorous definitional construction of the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis.
DETeBook com proteção para wookreaderILS
| Property | Description |
|---|---|
| ISBN: | 9781447115915 |
| Publisher: | SPRINGER LONDON |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| Collection: | Distinguished Dissertations |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9781447115915 |
BOOKS FROM THE SAME COLLECTION
-
10%Games And Full Abstraction For A Functional Metalanguage With Recursive TypesSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARDfree shipping
-
10%Inheritance Relationships For Disciplined Software ConstructionSPRINGER LONDON LTD97,34€ 10% CARDfree shipping
-
10%Regions In EvolutionTAYLOR & FRANCIS LTD209,26€
232,51€free shipping -
10%Forgotten FootprintsParthian Books27,04€ 10% CARDfree shipping