Lecture Notes in Computer Science 2962 Semirings for Soft Constraint Solving and Programming
2004 年出版279 页ISBN：3540211810
PROGRAMMING THE IBM PERSONAL COMPUTER:FUNDAMENTALS OF BASIC
1984 年出版285 页ISBN：0030595614
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
The Theory of Computer Science A Programming Approach
J.M.BRADY2222 年出版287 页ISBN：
哲学是怎样炼成的：从普通常识到逻辑推理=DOING PHILOSOPHY FROM COMMON CURIOSITY TO LOGICAL REASONING
（英）蒂莫西·威廉森2019 年出版0 页ISBN：
COMPUTER PROGRAMMING AND ARCHITECTURE:THE VAX SECOND EDITION
HENRY M.LEVY RICHARD H.ECKHOUSE1980 年出版444 页ISBN：1555580157
BASIC AN INTRODUCTION TO COMPUTER PROGRAMMING WITH THE APPLE
ROBERT J.BENT1983 年出版352 页ISBN：
THE NEUROANATOMIC BASIS FOR CLINICAL NEURLOLOGY SECOND EDITION
TALMAGE L.PEELE1961 年出版662 页ISBN：
THE NEUROANATOMIC BASIS FOR CLINICAL NEUROLOGY THIRD EDITION
TALMAGE L.PEELE1977 年出版609 页ISBN：0070491755
