Normal view
MARC view
Godel numbers. (Topical Term)
Machine generated authority record.
Work cat.: (inmoiis)0: Smith, Peter 1944- 5086, An introduction to Gödel's Theorems , 2007.