Normal view
MARC view
Hong-Jun Zhou (Personal Name)
Machine generated authority record.
Work cat.: ()1378060: Guo-Jun Wang 1312189, Introduction to mathematical logic and resolution principle /, c2009
