Normal view
MARC view
Logic, Symbolic and mathematical(Topical Term)
Machine generated authority record
Work cat.: (NU)1716: Kurtz, David C. 2677, Foundation of abstract mathematics / David C. Kurtz.