Programming Primer A Graphic Introduction to Computer Programming
with BASIC and Pascal1982 年出版520 页ISBN:
MACHINE INTELLIGENCE 11 Logic and the acquisiton of knowledge
J.E.HAYES1988 年出版460 页ISBN:
Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN:0387512373
PERSPECTIVES IN MATHEMATICAL LOGIC AZRIEL LEVY BASIC SET THEORY
1979 年出版391 页ISBN:3540084177
Lecture Notes in Computer Science 4193 Parallel Problem Solving from Nature-PPSN IX 9th Internationa
2006 年出版1061 页ISBN:3540389903
MODERNISM AND TIME The Logic of Abundance in Literature
Science2000 年出版0 页ISBN:
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X