Normal view
MARC view
Logic Symbolic and mathematical. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)3955: Manin, Y. I. 1935, Course in mathematical logic for mathematicians, 2010.