Normal view
MARC view
(Topical Term)
Metamathematics
Machine generated authority record.
Work cat.: (OSt)214738: Nagel, Ernest 394235, Godel's proof, 1958