Normal view
MARC view
Proof theory (Topical Term)
Machine generated authority record
Work cat.: (OSt)257725: Cook, Stephen, 1948- 251631, Perspectives in logic, 2010.