Foundations of Logic Programming /
Microprocessors and programmed logic /
Logical foundations of functional programming. /
The logical basis for computer programming. Volume 2., Deductive systems. /
Logic : key concepts in philosophy /
Logical writings /
Mathematical logic /
Computability and logic /
Logic and structure. /
Philosophy of logic /
Matrix logic /
The logic of categories /
The situation in logic /
Informal logic. /
Mathematical Logic.
Yorktown. /
Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966 /
Reports on mathematical logic. No. 14
Reports on mathematical logic. No. 19
Logics of programs : workshop, Yorktown Heights, Nework, may 1981 /