Normal view
MARC view
Proof theory. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)0: O'Leary, Michael L. 1163, The structure of proof :, c2002.