Login / Signup
Be Nice! How Simple Imperatives Simplify Imperative Logic.
Jörg Hansen
Published in:
J. Philos. Log. (2014)
Keyphrases
</>
databases
highly reliable
modal logic
probability theory
automated reasoning
classical logic
set theory