Metamathematics, Machines And Godel'S Proof
language: english
Publisher:
CAMBRIDGE UNIVERSITY PRESS, January of 1997 ‧
see product details
63,54€
10% OFF
CARD
Wm5KQldERXZTVGxVYkRCM1lsQnVkVlE1YTJ0MVNtdDVXa3AyYkVWSllsTjBLMGdyYTNGT1pHRnphVEZrTkN0aFNGTlFXWGhMVmtRMmFrbFljMVpJT0hsMlNEbDRTR2R4VEc0M01qaGlObk4zV201c2FHWXlla3g1TjAxSlJHOUJibU5wU1doNlJYUlhRM2xwVTFsTk56UnphMUJOVkdKVGNITnBVVFp4WmpWWFlqQkJUVTV5TWxoWU5sWnNOVE5ZWVhBcmR6RXZOVlUxT1dsWVNtRlZNMVZYYURsd1lVNXdNVmhPVjAxUFVVNDBNbEZNZFhkdUsxWnFUMmREUWxwS1RsZDBWMDVVVWlzek1qUkNjM1JoZEhSTk1VUkZOVWx4Ykd0YVNFWTJhMGc0Ym5Ca2JreGhkbXR6Y0dGaU1qWTVTM0pxV1dWMWVrUlRTalZ2ZUhKRWRrMWFkMVZUY2xaNVlVeEdiWFozYm5CTFEyVmtjRFpJYWpKVlRWSmFhMnRYUTJaNFYyRTRjRGwyUzNNMWJqSllUVzh3TjFseGRscG9USFF2YXpCRlRVZ3hPVko1ZEVJM1QwWnNlbkF4VFVSVEx6UTNNelpETDBkaFVFcG9NRTFVVTBoM2IzSldXRVZsYzB0S1lTdE1SVk5qTXpWRmJXeFpSMFZOU0VKeFRVWlBWbFEzU0RoVFRXSlRWalpJU2xoTFMyUnFiRk5MUkRGbmFtazFMMG9yZW5JMmVtWXpXblpvWkdKNWFHUldSV0ZSV2swNFMwNDRVa2hNUlc1aFZYb3hZM0pRWlZwaGVHbE1hME0zV2tsbFprSkJWMEUzY0hsWFNYTkRZVXByT0hRNFprUlFaVmd2UW5oMk9FMUdWbEphTldWeGNXaFpjbEJKYTBRck1FNHJNWFV3V1RadWJrOW5MM0J4SzNoTVJqaFRkWEo0TkhKa1NHRkxRMlJ6V1ZGemNGQTJiRlYzTDFCVldWVmhNWEZZTm1KaFpsQnVNQzlEU0hoVFYwUTJVM2R3Y0VOWFVrTnFTRzAxV2pWdFVXaHJNRmxZWnpGYU5qRlRWVVZwYkVscmRFZ3ZkbEZ3UkVsdlJFOWpjV3RKVG5JeGRFcFBWRXhIYkd0S2NuRk5WalZhY0cxTU9IQkZPVGRJVkdWS2FrUnJlUzlwVFdwSk5uaEVkMWQwZVhCTFExaHdaWHBrY21wRFdWYzBNa1ZSYzFCeWFFOHphSE4xZFdaRVkyUXdWMWhWVVVkd1ltc3hjekJVUTJkcU1rMTBiVzlUTWpneWRXcFZjamw2TldWbFMxaFpaV1k1ZHpKVmJpdFRkbTVGUTBGRGVuSlJPVXBqZUc5NFJYUlhWV3N3ZG10NGEwUkhWSEpxWW5CUE0wNVllV1JCWTFkeWVVdHlVVDA5OlFHZk5zNktPVmJvaGw3aTVHNyttM2c9PQ==
free shipping
Sell your book
SYNOPSIS
Describes the use of computer programs to check several proofs in the foundations of mathematics.
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9780521585330 |
| Publisher: | CAMBRIDGE UNIVERSITY PRESS |
| Release Date: | January of 1997 |
| Language: | English |
| Dimensions: | 189 x 233 x 12 mm |
| Cover: | Softcover |
| Pages: | 220 |
| Format: | Book |
| Collection: | Cambridge Tracts In Theoretical Computer Science |
| Categories: |
Books in English
>
Science
>
Mathematics
|
| EAN: | 9780521585330 |
BOOKS FROM THE SAME COLLECTION
-
10%Initial Algebras And Terminal CoalgebrasCAMBRIDGE UNIVERSITY PRESS188,59€
209,54€free shipping -
10%Topological Duality For Distributive LatticesCAMBRIDGE UNIVERSITY PRESS82,74€
91,93€free shipping
PEOPLE WHO BOUGHT ALSO BOUGHT
-
10%A Course In CombinatoricsCAMBRIDGE UNIVERSITY PRESS93,28€ 10% CARTÃOfree shipping
-
10%Mathematical LogicDOVER PUBLICATIONS INC.33,79€ 10% CARTÃOfree shipping