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
TDJ4NlFsWnpUMGwwVkdwU1l6Rm5SbTAyU2s1SE1YbFFhV2xrV0dscFpYWkphVTB5UjFkVVFXRTRRMk5KZFRCalNEZGFPRU5ZZG5GR1ZuSkhURTVxTWtOMWFFSktMMVJXSzJ4T1RFVXZTalF6YjFGMWFIcDVhMmhuZWpSSWVUTndTbkJyVDAxVVIwaENZVzk2Y0RaWk1WTlBlR3RCYlRZMlptVllSak41Tkdwa1JrZDVNVGN4YUdzMWRGTktSVmxCZVdSUFpuQlVOMmRZY1d0TFFraFBTVmxOU3pSTVEyeEhZbTlUWkZweGVVY3hXbXBaUmtsTlFrd3hPQ3RtUWt0NFFuRmpUQzlKTlc5MmJ6VlFUWFJrVFRkaWJXeFpabTVoVG5KS2JuRXlRbWxoWmprMFJ5dFBNak0zT0dwbVRtMXpjRVJ3WmtKcmExQTViM2xHVEc1VlJYaE9hbTFSUW5WSlpHZDFNbFZGWjJjNFNXMXFjV1k0ZURKWmVHNHlOVWRMYlZCV1RuTnlZa1V3TjJaYVVHRkJaMGxGWm5WdFZYbDFhSGxTYlZWVFQyeEpkQ3N2YVU5WlRqVTVla3RKVFdGMFVGQkJkVU5YTkRWMmVsWjBlRUZxZWt4U2Eyc3JPV2xqSzFoVUswNHZjbFpXTld4eGNpOUJlbEYyYTBvM2JrUmpRVkp0UVdwRGNUUmFRbGhRTnpoMlExUkJSa1ZOVFN0SFNGQkxZbXBWWjJOYWRtTnRWR1kyU0Vwb05WWkxNM0Z3TVZCSmJYRmFMMjloUm5wdlZuWjFVVkpKTTFGV2IwWm5UMGQyV2xCdGJXVXpiMjlvVTFJeE1VaEpXRW9yZWxKaVkxTk5TbEIwTDFoamVpdHBOVWhOUkhwNlZtVm1OVlUwY0VObFJHaG1XWFJCV0dsQ1ZXMUlTR1IyUkU1bVkxSTVTR2RqY0RoVk1sUXlZV2RNV1dwRWFrOVlSa0ZYWWtOTmRIUjBWa1Y2Vms5V2NWQjNlRkpvYUhneFVXdDRPV0pXTDB4Sk5qaG5VR0ZuWW1RdmRucEVlRkoyY0hsMVkwMWlURWQwZGxwekwxRlNTVGhLYTJablIxVlJkREZ2V1ZOR01YaFlWR1pDZVdscVQyNDRNRUpVYlE9PTpmOWZqR0hqVGM5UlNQN1NGWG53Z2ZBPT0=
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 |