000 00572nam a2200241Ia 4500
003 OSt
005 20220912145524.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a69467
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aB29:R1, K1
100 _aSmullyan Raymond M
245 0 _aTheory of formal systems
260 _c1961
300 _ap.
_ccm.
650 _aAlgebra
942 _hB29:R1, K1
_cTEXL
_2CC
999 _c33672
_d33672