Massively Parallel Models of Computation Distributed Parallel Processing in Artificial Intelligence
1993 年出版253 页ISBN：0135629683
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
ARTIFICIAL INTELLIGENCE AND MATHEMATICAL THEORY OF COMPUTATION PAPERS IN HONOR OF JOHN MCCARTHY
2222 年出版475 页ISBN：0124500102
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN：0444702660
Lecture Notes in Computer Science 3134 Extreme Programming and Agile Methods-XP/Agile Universe 2004
2004 年出版233 页ISBN：354022839X
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
