Normal view
MARC view
Formal mathematics (Topical Term)
Machine generated authority record.
Work cat.: (OSt)640: Kirtland, Joseph 2511570, Proofs 101: an introduction to formal mathematics, 2021