000 | 00392pam a2200145a 44500 | ||
---|---|---|---|
010 | _a68013495 | ||
040 | _aIIT, Kanpur | ||
082 |
_a164 _bSm85f |
||
100 | _aSmullyan, Raymond M. | ||
245 | 1 |
_aFirst-order logic _cRaymond M. Smullyan |
|
260 |
_aBerlin _bSpringer-Verlag _c1968 |
||
300 | _axii, 158p. | ||
650 | _aFirst Order Logic | ||
997 | _aK13202 C | ||
999 |
_c379890 _d379890 |