000			00637nam a2200217Ia 4500
003			OSt
005			20260717111441.0
008			260605s9999||||xx |||||||||||||| ||und||
020			_a978-1-77469-498-5
040			_cDSSC
082			_aCir.(G)/511.36/N912/2023
245		4	_aThe notion of mathematical proof : key rules and considerations / _cedited by Olga Moreira
264			_aBurlington, Canada : _bArcler Press, _c2023
300			_axxiii, 397 pages ; _c24 cm
500			_aIncludes index
650			_aProof theory
650			_aSymbolic logic
650			_aMathematical analysis
700			_aMoreira, Olga
942			_cCIR _2ddc
999			_c9662 _d9662