Normal view
MARC view
Proof theory. (Topical Term)
Machine generated authority record.
Work cat.: (inmoiis)0: Wohlgemuth, Andrew. 8096, Introduction to proof in abstract mathematics , 2011.