MATHEMATICAL LOGIC AN INTRODUCTION TO MODEL THEORY
A.H.LIGHTSTONE1977 年出版0 页ISBN：
A CONCISE INTRODUCTION TO LOGIC SIXTH EDITION
PATRICK J.HURLEY1997 年出版655 页ISBN：
A CONCISE INTRODUCTION TO LOGIC SEVENTH EDITION
PATRICK J.HURLEY2000 年出版688 页ISBN：0534520065
INTRODUCTION TO MICROCOMPUTER PROGRAMMING
PETER ROB1984 年出版407 页ISBN：0534031846
INTRODUCTION TO PROGRAMMING WITH ++
（美） 梁（Liang．Y.D.）著2008 年出版643 页ISBN：9787111239963
Introduction To Dynamic Programming
Leon Cooper and Mary W.Cooper1981 年出版289 页ISBN：
