Login / Signup
Review of "Basic proof theory: second edition" by A. S. Troelstra and H. Schwichtenberg. Cambridge University Press.
Jeremy Avigad
Published in:
SIGACT News (2001)
Keyphrases
</>
proof theory
default reasoning
proof theoretic
automated reasoning
machine learning
np complete
nonmonotonic reasoning