COPI:INTRODUCTION TO LOGIC FIFTH EDITION
MACMILLAN PUBLISHING CO.1978 年出版284 页ISBN：
AN ALGEBRAIC INTRODUCTION TO MATHEMATICAL LOGIC
DONALD W.BARNES JOHN M.MACK2222 年出版121 页ISBN：0387901094
INTRODUCTION TO LOGIC DESEGN SECOND EDITION
ALAN B.MARCOVITZ FLORIDA ATOANTIC UNIVERSITY著2006 年出版652 页ISBN：
The Art and Science of C:A Library-Based Introduction to Computer Science
[美]Eric S.Roberts著2004 年出版704 页ISBN：7111139917
本书是一本C语言的入门读物。
MATHEMATICAL LOGIC AN INTRODUCTION TO MODEL THEORY
A.H.LIGHTSTONE1977 年出版0 页ISBN：
A CONCISE INTRODUCTION TO LOGIC SIXTH EDITION
PATRICK J.HURLEY1997 年出版655 页ISBN：
HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies
DOV M.GABBAY1994 年出版511 页ISBN：
A CONCISE INTRODUCTION TO LOGIC SEVENTH EDITION
PATRICK J.HURLEY2000 年出版688 页ISBN：0534520065
