000 00569nam a2200241Ia 4500
003 OSt
005 20220912153130.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a19589
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB:R1, L1
100 _aRogers Robert
245 0 _cRogers Robert
_aMathematical logic and formalized theories
260 _c1971
300 _ap.
_ccm.
650 _aLogic
942 _hB:R1, L1
_cTEXL
_2CC
999 _c98594
_d98594