Normal view
MARC view
Metamathematics.(Topical Term)
Machine generated authority record.
Work cat.: (ARRUPE)0: Ladrière, Jean. 15261, Les limitations internes des formalismes;, 1957.