Normal view
MARC view
- Proof theory.
Proof theory. (Topical Term)
Machine generated authority record.
Work cat.: (NdF)117268: Krantz, Steven G. (Steven George), 1951- 64469, The proof is in the pudding :, c2011.