Recursion theory for metamathematics / Raymond M. Smullyan
Materialtyp: TextSerie: Oxford logic guides. 0953-1173 ; 22Utgivningsinformation:New York Oxford Univ. Press 1993Beskrivning: xiv, 163 sISBN:- 019508232X
- 511.3
- 511.3
- Tad
- Dca
- 03
- 511
- QA 9.6
Exemplartyp | Aktuellt bibliotek | Hyllsignatur | Status | Förfallodatum | Streckkod |
---|---|---|---|---|---|
Bok (Hemlån) | Campus Karlskrona | 511 | Tillgänglig | 40000003732 |