LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN：3540527346;0387527346
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页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
MODERNISM AND TIME The Logic of Abundance in Literature
Science2000 年出版0 页ISBN：
