STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN:0444898409
Contributions to the theory of zeta-functions the modular relation supremacy volume 10
Shigeru Kanemitsu ; Haruo Tsukada2015 年出版484 页ISBN:9814449618
Lecture Notes in Computer Science 4462 Information Security Theory and Practices Smart Cards
Mobile and Ubiquitous Computing Systems First IFIP TC6/WG8.8/WG11.2 International Workshop2007 年出版253 页ISBN:
THE MYTH OF THE LEARNING MACHINE:The Theory and Practice of Computer Based Training
1983 年出版240 页ISBN:0905104501