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
TjFsb1YyUnhLMlJYVVdSV1lYZ3hWVlp6VDFKaVMxYzJTaXRaU20xMk4yOTNabkI0VVhVek5rRkJOSFpGYm0xeWJHNUpNMUoyTVRkMGVHMW9aa0U0TDNsalpUSldkSFZuVlVkRkx6SkRiamxJYWpSa01FRTFObmxaWm1aV2JXaHpNbUpsYlhFemRTOTJWRFkzTUdwcFFUQmlkbTVqT1ZreUwzRkxTMVl3TTB4YVlWVlJkWEkzTUVWUWJscG9hVGxaYWsxQ2QyNVFjME5SVHk5dlZsVkJVRVZxTDNoTmNHSnlObHB3SzJKak5XVXJWSEp2V2xwU1pVUTRhM2wwUkU4clNVMW9hMEpNVFdobFpFNTZaVlZoTjFVckx6bHZPVWxWTURJdlNETXdXVzh3ZVhGQlMwOWlOa2RyUjNsTU1XUm9hbTVRZVVselZYZHlSWGxIVGtOU01rRndUVTVRVTNseE5qYzNkWGxSV2l0VlpWSlZhbHBtZDFOWmNFUk9hM0EyWVVsTFJFbFZVbkU0Ym5JM05uWlRiV1E1TW5KTlozcElkRnAzYzNFNVFUZ3pURmhaTTJ0M2RGZDBWR0p0SzNWaVVVcHdURUYwWXk4Mk5HdE1RMjU2TDJ0YU9XWklVVVo2UkZsMGMyaFdSVVV5V1U1Q1pHSXdibk42Y0ZGd2RFRXhaRE5xTUV0MmNHUTNRbmxPZFZkT2JIaENRMUptSzJReFNrbzJLMU5OYW1VdlZVMXVXazlIYXl0cmN5dHNkMDk1V1ZScGVraFlPVVl5YlhSSVJGTk1NRkZPU25ocldYRnJNbEJOU1RCQmMzSm9VWG81WWl0emR5OVZla1p4U25Kb2FXRnpNbE0wVkRWVU1XTjBhWFZpYURKb1lWcFdUM3BvU0U0NFl6Rm5jWEk0Ym5KdlZFbHJlV2xsZWpsUVRtTXhOV2hzWm5JMmRXWnNPVlJsYWpjdldIRlZPVWhNYUZnNGJtTm9NSEZFY0VGb0swRk5Va2hrUTJkT2MweFBkRmRXUjJwME9GSjVNRWR5YkhReVFtb3ZUbTFLZDBKNVJrRnpMM0l3T0hoWGVGZFhVM2QyVkZGMk5IZGxVa3BhVEhCdU4wMUxSMDFpYVZkTmEyc3JjWGRQZVRjMVRraE1XbWhITUVoVmNEWkRPWGxTUzBKRlNXOU9VRkpSYVVwU1VHbHdaMGROT0ZkdWR5dDVZeTlVTVVwTlVrZzJRMVYwWms5V1duSnRZMWRQTjBobFRYcExZa050VlZNNGJrcEZOVXg2ZDNsTlNuZHFhMmswVW5KWWNrRnhlVUZVVGtkV2VISldaRlZuUFE9PTp2d29qNW9UdnEyZUw0QWEzUFF4REtRPT0=
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.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781447115915 |
| Publisher: | SPRINGER LONDON |
| Release Date: | December of 2012 |
| Language: | English |
| Format: | eBook |
| File Format and Compatibility: | PDF para ADE |
| Collection: | Distinguished Dissertations |
| Categories: |
eBooks in English
>
Science
>
Mathematics
|
| EAN: | 9781447115915 |
BOOKS FROM THE SAME COLLECTION
-
Games And Full Abstraction For A Functional Metalanguage With Recursive Types10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARDfree shipping
-
Inheritance Relationships For Disciplined Software Construction10%SPRINGER LONDON LTD97,34€ 10% CARDfree shipping
-
Regions In Evolution10%TAYLOR & FRANCIS LTD188,59€
209,54€free shipping -
Forgotten Footprints10%Parthian Books27,04€ 10% CARDfree shipping