000 | 00364nam a2200145Ia 4500 | ||
---|---|---|---|
008 | 180710s9999 xx 000 0 und d | ||
020 | _a182678 | ||
082 |
_a160 _bBAL |
||
100 | _aBALASUBRAMANIAN, P. | ||
245 | _aSymbolic Logic and its Decision Procedures | ||
260 |
_aMadras _bUniv. of Madras _c1980 |
||
300 | _avi, 168 p. | ||
650 | _aLogic | ||
942 | _cS | ||
999 |
_c80530 _d80530 |