STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051
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：
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
Lecture Notes in Computer Science 106 The Programming Language Ada
1980 年出版243 页ISBN：3540106936
