000 00722nam a22002537a 4500
003 OSt
005 20260811103233.0
008 210824b ||||| |||| 00| 0 eng d
020 _a978-1-107-53405-6
041 _aeng
082 _a511.36 LAK-P
100 _aLakatos, Imre
_925112
245 _aProofs and refutations
260 _aNew York,
_bCambridge University Press,
_c2015
300 _axii,183p.
650 _aMathematics philosophy
_xLogic symbolic and mathematical
_993439
650 _aMathematics — Methodology
_993440
650 _aMathematics-History
_993441
650 _aProof theory
_993442
700 _aWarrall, John
_993443
700 _aZahar, Elie
_993444
942 _cBK
999 _c62673
_d62673