Normal view
MARC view
Logic, Symbolic and mathematical (Topical Term)
Machine generated authority record
Work cat.: (OSt)1132: O' Leary, Michael L. 125, First course in mathematical logic and set theory/ , c2016
