TY  - BOOK
AU  - Moreira, Olga
TI  - The notion of mathematical proof : key rules and considerations
SN  - 978-1-77469-498-5
U1  - Cir.(G)/511.36/N912/2023 
PY  - 2023///
CY  - Burlington, Canada
PB  - Arcler Press
KW  - Proof theory
KW  - Symbolic logic
KW  - Mathematical analysis
N1  - Includes index
ER  -