STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
Lecture Notes in Computer Science 57 Portability of Numerical Software
1977 年出版539 页ISBN：3540084460
Lecture Notes in Computer Science 756 Design of Hashing Algorithms
1993 年出版194 页ISBN：3540575006
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
SCHAUM’S OUTLINE OF THEORY AND PROBLEMS OF Introduction to COMPUTER SCIENCE
FRANCIS SCHEID2222 年出版281 页ISBN：0070551952
THE MATHEMATICAL FORNDATIONS OF QUANTUM MECHANICS:A LECTURE-NOTE VOLUME
GEORGE W. MACKEY1963 年出版137 页ISBN：
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
Hashing in Computer Science Fifty Years of Slicing and Dicing
2010 年出版386 页ISBN：9780470344736
