The axiom of choice and combinatory logic.

Published in: J. Symb. Log. (2003)

Keyphrases

modal logic
classical logic
inference rules
epistemic logic
asynchronous circuits
real time
databases
real world
website
multi valued
logical framework
relational databases
computational properties
proof theory
sound and complete axiomatization