Image from Amazon.com
Metamathematics, machines, and Gödel's proof / N. Shankar
Material type:
TextSeries: Cambridge tracts in theoretical computer science. 99-0691101-8 ; 38Publication details: Cambridge Cambridge Univ. Press 1994 Description: xv,202pISBN: 052142027XSubject(s): Computers, Mathematical logic | Logik | Logik | MetamatematikDDC classification: 511.3 Other classification: Dca | 511 | Dca
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book (loan) | Gräsvik | 511 | Available | 40000005457 |