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