Normal view MARC view

(Topical Term)

Preferred form:

Metamathematics

Machine generated authority record.

Work cat.: (OSt)214738: Nagel, Ernest 394235, Godel's proof, 1958