Logic in Computer Science: Modelling and Reasoning about Systems

The Logic of Scientific Discovery Karl Popper 1968 Philosophy of Science PB

Computer Science and Multiple-Valued Logic: Theory and Applications by D. Rine

First Course in Mathematical Logic Suppes 1964 1st Ed HC No DJ

Boolean Algebra for Computer Logic - Circuit Design, Digital Logic, Binary Math

Logic Programming Knowledge Engineering Tore Amble 1989 AI Computer Science

Logic Programming: Formal Methods and Practical Applications Studies in Computer

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science.