Normal view
MARC view
Godel's theorem (Topical Term)
Machine generated authority record.
Work cat.: (): Bouvere, Karel Louis de. 133794, A method in proofs of undefinability :, 1959
