00425cam a22001458i 4500 200711s2020 flu b 001 0 eng 9780367536817 510.9 K92.PI Kirtland, Joseph 5237 Proofs 101 :an introduction to formal mathematics / 1st Boca Raton: CRC Press, 2021 xix, 176p. Bibl. Index. BK ddc 0 0 ddc 0 510_900000000000000_K92_PI 0 236911 ISI ISI 2025-02-03 3 4120.80 3 2 510.9 K92.PI DP30607 2025-08-22 00:00:00 2025-07-23 5283.08 BK 37911 37911