Logical foundations of functional programming. /
The logical foundations of statistical inference /
Microprocessors and programmed logic /
Logics of programs : workshop, Yorktown Heights, Nework, may 1981 /
The logical basis for computer programming. Volume 2., Deductive systems. /
Mathematico-logical foundations of retrieval theory general concepts and methods.
Formal foundations of correct programming. /
Theoretical foundations of programming methodology : lecture notes of an International summer school /
Logic, foundations of mathematics and computability theory. Part 1. of the proceed. of the 5. international congress.
Handbook of logic circuits /
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 /
Foundations of Logic Programming /