Normal view
MARC view
PROOF THEORY (Topical Term)
Machine generated authority record
Work cat.: (ISURu)21167: Troelstra, A.S. 91870, Basic proof theory, 2000