Logic for information technology
Antony Galton · 1990
Fundamental logical concepts the propositional calculus proof systems for the propositional calculus the predicate calculus proof systems for the predicate calculus first-order theories modal and temporal logics.