000 00622nam a2200229Ia 4500
003 OSt
005 20220918191816.0
006 a|||||r|||| 00| 0
007 ta
008 220917b |||||||| |||| 00| 0 eng d
024 _a65,128
037 _cTextual
040 _aARTS
_cARTS
_beng
041 _2eng
_aeng
082 _aR14, L0-;2
100 _aRao A. Pampapathy
_977247
245 0 _aClassical theory of first order logic
260 _aSimla
_bIndian Institute of Advanced Study
_c1970
300 _aix,55p.
_ccm.
942 _hR14, L0-;2
_cTEXL
_2CC
999 _c191465
_d191465