Hong-Jun Zhou

• Introduction to Mathematical Logic and Resolution Principle