彼得·華準, 塔妮·科里, 卡爾文·戴維斯著;Peter Waldron, Tani Collie, Calvie Davies杨雅婷译2002 年出版233 页ISBN:9577321704
Introduction to Mathematical Logic and Resolution Principle
Guo-Jun Wang Hong-Jun Zhou (Second Edition)2222 年出版335 页ISBN:
INTRODUCTION TO MODERN THEORETICAL PHYSICS VOLUME 1、VOLUME 2
2222 年出版780 页ISBN: