00637nam a2200217Ia 4500 OSt 20260717111441.0 260605s9999||||xx |||||||||||||| ||und|| 978-1-77469-498-5 DSSC Cir.(G)/511.36/N912/2023 The notion of mathematical proof : key rules and considerations / edited by Olga Moreira Burlington, Canada : Arcler Press, 2023 xxiii, 397 pages ; 24 cm Includes index Proof theory Symbolic logic Mathematical analysis Moreira, Olga CIR ddc 9662 9662 0 0 ddc 0 0 Grad Sch SPMT-CAS SPMT-CAS NEW 2026-07-17 Belview 0 Cir.(G)/511.36/N912/2023 011373 2026-07-17 11:14:25 2026-07-17 CIR