000 00531pam a2200205a 44500
003 OSt
005 20240606163157.0
008 160408b1990 xxu||||| |||| 00| 0 eng d
020 _a9780486662695
040 _cIIT Kanpur
041 _aeng
082 _a511.3
_bM336f
100 _aMargaris, Angelo
245 0 _aFirst order mathematical logic
_cAngelo Margaris
260 _aNew York
_bDover Publications
_c1990
300 _ax, 211p
440 _aDover books on mathematics
650 _aFirst-order logic.
942 _cBK
999 _c366002
_d366002