Normal view
MARC view
Metamathematics (Topical Term)
Machine generated authority record.
Work cat.: (): Logic Colloquium (1980 Prague) 132618, Logic colloquium '80 :, c1982
