Normal view
MARC view
Proof theory Textbooks (Topical Term)
Machine generated authority record
Work cat.: (OSt)11009: Hamkins, Joel David, author. 32768, Proof and the art of mathematics /