000 00691nam a2200241Ia 4500
003 OSt
005 20220928113752.0
006 a|||||r|||| 00| 0
007 ta
008 220927b |||||||| |||| 00| 0 eng d
024 _a129451
037 _cTextual
040 _aSDCL
_cSDCL
_beng
041 _2eng
_aeng
082 _aR:(B), J1
100 _aCurry Haskell B
_9435064
245 0 _aOutlines of a formalist philosophy of mathematics.
260 _aLondon
_bNorth Hooland Publihing
_c1951
300 _avii,75p.
_ccm.
490 _aStudies in logic and the foundations of mathematics.
942 _hR:(B), J1
_cTEXL
_2CC
999 _c751303
_d751303