Proofs 101 : an introduction to formal mathematics /: an introduction to formal mathematics. (2020) - (Mathematics professor), Kirtland, Joseph
No abstract available