000 00595 a2200217 4500
003 OSt
005 20230420115401.0
008 230202b ||||| |||| 00| 0 eng d
020 _a9780691234366
040 _cIGIDR
082 _220
_a511.3
_bSTI
100 _aStillwell, John
245 _aThe Story of proof :
_bLogic and the history of mathematics /
_cJohn Stillwell
260 _aPrinceton
_bPrinceton Uni Pr
_c2022
300 _axiv, 441p
650 _aMathematics
650 _aProof theory
650 _aProof theory
_xHistory
650 _aMathematics
_xHistory
942 _2ddc
_cBK
999 _c165789
_d165789