| 000 | 00855cam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | vtls000116115 | ||
| 003 | VRT | ||
| 005 | 20250102223345.0 | ||
| 008 | 150906s1994 njua b 001 0 eng | ||
| 020 | _a9780133276282 | ||
| 039 | 9 |
_a201509221241 _baalzain _c201509080928 _dakushoob _y201509061443 _zakushoob |
|
| 050 |
_aBC135 _b.P69 1994 |
||
| 100 | 1 |
_aPortoraro, Frederic D. _921799 |
|
| 245 | 1 | 0 |
_aLogic with Symlog : _blearning symbolic logic by computer / _cFrederic D. Portoraro, Robert E. Tully. |
| 260 |
_aEnglewood Cliffs, N.J. : _bPrentice Hall, _cc1994. |
||
| 300 |
_axiv, 561 p. : _bill. ; _c25 cm. + _e1 computer disk (3 1/2 in.) |
||
| 504 | _aIncludes bibliographical references (p. 547-549) and indexes. | ||
| 650 | 0 |
_aLogic, Symbolic and mathematical _x-- Study and teaching. _921800 |
|
| 700 | 1 |
_aTully, Robert E. _921801 |
|
| 942 |
_2lcc _n0 _cBK |
||
| 999 |
_c8860 _d8860 |
||