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