The incompleteness theorems (1977)

by C Smorynski
Venue:Handbook of Mathematical Logic