Normal view MARC view
  • Metamathematics

Metamathematics (Topical Term)

Number of records used in: 1
Preferred form: Metamathematics

Machine generated authority record.

Work cat.: (KE-NaHC)391482: Ernest Nagel 121547, Gödel's proof, 1958