Normal view
MARC view
Logic, symbolic and mathematical methodology Methematics(Topical Term)
Machine generated authority record.
Work cat.: (ARRUPE): Heyting, Arend 8168, Intuitionism, 1956