Normal view
MARC view
Logic, symbolic and mathematical Textbooks (Topical Term)
Machine generated authority record.
Work cat.: ()1378060: Guo-Jun Wang 1312189, Introduction to mathematical logic and resolution principle /, c2009
