| 000 | 01085nam a2200337 a 4500 | ||
|---|---|---|---|
| 005 | 20250914011305.0 | ||
| 008 | 981208s1979 xxk 00 eng | ||
| 010 | _a79-312304 //r85 | ||
| 020 | _a0852243057 | ||
| 035 | _a201825 | ||
| 039 | 9 |
_a201711141213 _bidah _c201705251134 _dhaiyati _c200107101850 _drahimi _y08-18-1999 _zload |
|
| 090 | _aBC71.R6 | ||
| 090 |
_aBC71 _b.R635 |
||
| 100 | 1 |
_aRobinson, J. A. _q(John Alan) |
|
| 245 | 1 | 0 |
_aLogic : _bform and function ; the mechanization of deductive reasoning / _cJ. A. Robinson |
| 260 |
_aEdinburg : _bUniversity Press, _c1979 |
||
| 300 |
_avi, 312 p. : _bill. ; _c23 cm. |
||
| 500 | _aIncludes index. | ||
| 504 | _aBibliography: p. 300-302. | ||
| 590 | _a1 | ||
| 650 | 0 | _aForm (Logic) | |
| 650 | 0 | _aPredicate calculus | |
| 650 | 0 | _aReasoning | |
| 907 |
_a.b11330144 _b2021-05-28 _c2019-11-12 |
||
| 942 |
_c01 _n0 _kBC71.R6 |
||
| 914 | _avtls000138005 | ||
| 991 | _aFakulti Sains Kemasyarakatan dan Kemanusiaan | ||
| 998 |
_at _b1999-05-08 _cm _da _feng _gxxk _y0 _z.b11330144 |
||
| 999 |
_c134728 _d134728 |
||