THE LOGICAL BASIS FOR COMPUTER PROGRAMMING VOLUME1 DEDUCTIVE REASONING
2222 年出版618 页ISBN：0201182602
THINKING CRITICALLY TECHNIQUES FOR LOGICAL REASONING
1995 年出版434 页ISBN：0314043527
Assembly Language Programming for the IBM Personal Computer
1984 年出版340 页ISBN：0130491713
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN：0198538359
Reasoning Robots The Art and Science of Programming Robotic Agents
Michael Thielscher2005 年出版327 页ISBN：
COMPUTER PROGRAMMING EXAMPLES FOR CHEMICAL ENGINEERS
2222 年出版296 页ISBN：0444428364
