Reverse mathematics: the playground of logic.

Richard A. Shore

Published in: Bull. Symb. Log. (2010)

Keyphrases

computer algebra
logic programming
formal logic
classical logic
computer science
automated reasoning
digital circuits
computer assisted instruction
databases
database systems
multi valued
abductive reasoning
asynchronous circuits
logic synthesis
sound and complete axiomatization