Predicate & Propositional Calculus

Eine Termlogik mit Auswahloperator

Mathematical Logic for Computer Science

Investigations into the Predicate Calculus

Data Structure Synthesis: Boosting Productivity Through Data Structure Reuse

Mathematical Logic

An Introduction To Symbolic Logic

Sat 2005: Satisfiability Research in the Year 2005

Mathematical Logic