adicionar à lista de desejos
Computational Logic And Set Theory
Applying Formalized Logic To Analysis
language: english
Publisher:
SPRINGER LONDON LTD, July of 2011 ‧
see product details
42,57€
30% OFF
YW1SRGVsTjFhbXRwZDJWVVJGTTFLME55YTNKUVVVRkdiSFZTU0RFeFdXNWtMMDV6VVhGNFRsRndibXhzUVcxblRXcFJSMUV4Ym5KSVdUUkVPRW9yWlVaRWRXSkJTRE5xU2k4NU9WaExNbVpUWjBKT0wxaG5UMEpKT1ZWd2VXVnRZbHBvVFVOWE1reGlXRWx0TVhGYVdIZFNla3h1V21NMmExRkNXVTh4WjJka1dIbGFXRTFEU0dwbFJDdG5ZMmhFZEV0b1lVMXdTVEJxWWpKQmQyeDJiMnhNVkZaS09XeFVhekF4TWxWWlQxcHVRMUpWZVdGbE56SlZia2dyTDBGbGRXSlNhbXBhVWsxaGVVaHlUVWN4VEdST1IybHZjR3hwWlc5U2FDOXBaVmxyYjJSTFRHMVdiMlZoYW5JMmJERmxNV2xWZVdaTmNqaHJVSEZPVUZWNWEyUm5UbFpDY1RsNWVFNVlMMnA1TW1ORVFtWmFOMDFLYjB0MWQzazRVbXBFWVZwdk9XOU5OVEJQY0RKa1ZHeFNjMjFSWjFVNEswWndhSFJJSzJac1FtNTJPVXd5YW1waGNXOXhPRk5RU1ZKTVduYzBRMDlpYldoSmJrNDFXWGhGVlhGNFIwb3dlV2hPVjJwRVZWUjZjRmQ0WWxOU1dYUTRkSEJ5UldGMlZGcEJPRFpCWW5FMVNsZ3haMGh4Y0VOT2FrUjRRVGxIUVVaT1RIUlRNek5rV0M4eU5UaGlRMUZMY2pkS05tVXdNRWR1WVZGeVltMVBUSEJzVFU5clJXbElSa1ZaVEhOUGJIZDBUVk4wWkdJckx6bGtRMDkyV0c1WFkzVmxkMWx0U1djeVRDOHJiRXhGVVVKbmNrNTBNMFpVU0V0Sk0wVm9XbTQyVmpaMWQwVXZaRWxSYkhwUVNuRmlRV1J1TkRaSlkzcEpkRTFwZFRSWFR6WklkSGRqVWtKVFdHSkxabUZJZFdsNFNVaGhNeXRhWjA1blVWVm9UM05PUjAxblkzRnpkRlZRZVd4VFlVa3pUbTVoU0cxS01VbHdaa0pWYjJORlZYbFlTSFYzTTB0SE1rWlBORzFwUmtaSUwzVjJXbGt3ZVhjeWVXbFBjVmd3Um1sdlFqSXpRVkZ0U0E9PTp0YmVaeEFya0F6czRWalVtRXA2T3Z3PT0=
free shipping
Sell your book
SYNOPSIS
Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780857298072 |
| Publisher: | SPRINGER LONDON LTD |
| Release Date: | July of 2011 |
| Language: | English |
| Cover: | Hardcover |
| Pages: | 416 |
| Format: | Book |
| Categories: |
Books in English
>
Computing
>
Other Applications
|
| EAN: | 9780857298072 |