Normal view
MARC view
Mathematics of Computing (Topical Term)
Machine generated authority record
Work cat.: (OSt)13624: Aigner, Martin. 20267, Proofs from THE BOOK, 2018.