| 000 | 00480pam a2200157 a 4500 | ||
|---|---|---|---|
| 020 | _a0486662691 (pbk) | ||
| 020 | _a9780486662695 | ||
| 082 | 0 | 0 |
_a511.3 _bMAR |
| 100 | 1 | _aMargaris, Angelo | |
| 245 | 1 | 0 | _aFirst order mathematical logic |
| 260 |
_aNew York _bDover Publications _c1990 |
||
| 300 |
_ax, 211 p. _c; 22 cm. |
||
| 500 | _aincludes index. | ||
| 650 | 0 |
_aFirst-Order logic _aMathematics _vCalculus _vMathematical logic _vFormulation _vPredicate calculus _vMath |
|
| 942 | _cBK | ||
| 999 |
_c15858 _d15858 |
||