A course in mathematical logic
by J. L. Bell and M. Machover.1977 年出版599 页ISBN:0720428440
TOPAUDITING ISSUES FOR 2011 CPE COURSE
PERRY M.HENDERSON2011 年出版191 页ISBN:0808024345
HARLEY FLANDERS ROBERT R.KORFAGE JUSTIN J.PRICE1974 年出版687 页ISBN:0122596625
IQUE TAL? AN INTRODUCTORY COURSE
THALIA DORWICK ANA MARIA PEREZ-GIRONES MARTY KNORRE1999 年出版416 页ISBN:0070136815