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

On Logic and the Theory of Science by Cavailles, Jean

Logic and Design, Revised: In Art, Science, And Mathematics by Barratt, Krome

Logic in Computer Science: Modelling and Reasoning about Systems

The Logic of Collective Action: Public Goods & the Theory by Mancur Olson (1977)

2nd Scandinavian Logic Symposium Provability Computability Turing Fenstad Quine

Logic Design of Digital Systems

W. V. Quine 2002 Orenstein Philosophy Logic Ontology Set Theory HARDCOVER