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