Normal view
MARC view
- Proof theory.
Proof theory. (Topical Term)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Bloch, Ethan D., 1956- 10848, Proofs and fundamentals :, c2011.