Metamathematics, machines, and Gödel's proof / N. Shankar
Materialtyp: TextSerie: Cambridge tracts in theoretical computer science. 99-0691101-8 ; 38Utgivningsinformation:Cambridge Cambridge Univ. Press 1994Beskrivning: xv,202pISBN:- 052142027X
- 511.3 23/swe
- Dca
- 511
- Dca
Exemplartyp | Aktuellt bibliotek | Hyllsignatur | Status | Förfallodatum | Streckkod |
---|---|---|---|---|---|
Bok (Hemlån) | Campus Karlskrona | 511 | Tillgänglig | 40000005457 |