000 00513nam a2200205Ia 4500
008 140908s9999 xx 000 0 und d
020 _a9780486662695
040 _aNISER LIBRARY
041 _aEnglish
082 _a510.6
_bMAR-F
100 _aMargaris, A
245 _aFirst order mathematical logic
_cAngelo Margaris
260 _aNew York
_bDover
_c1990
300 _a211p.
500 _aRef.sec
650 _aFIRST ORDER LOGIC
650 _aPREDICATE CALCULUS
650 _aQUANTIFIERS
942 _cBK
999 _c6559
_d6559