Normal view
MARC view
Proof theory. (Topical Term)
Machine generated authority record.
Work cat.: (KEPU)0: Sundstrom, Theodore A. 34921, Mathematical reasoning :, c2003.