Hoare's Logic and Peano's Arithmetic.

Jan A. Bergstra John V. Tucker

Published in: Theor. Comput. Sci. (1983)

Keyphrases

micron cmos
modal logic
classical logic
automated reasoning
predicate logic
real world
decision trees
multi valued
nonmonotonic logics
digital circuits
proof theory
multiple valued