Kirtland, Joseph (Mathematics professor) profile picture

Kirtland, Joseph (Mathematics professor)

Proofs 101: an introduction to formal mathematics