Normal view
MARC view
Mathematical logics (Topical Term)
Machine generated authority record.
Work cat.: (inmoiis)2099: Manin,Yu. I 285, A course in mathematical logic for mathematicians:, 2010