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