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