000 | 00510nam a2200133Ia 4500 | ||
---|---|---|---|
001 | 3464 | ||
008 | 220811s1981 ###||||g |||| ||spa d | ||
082 |
_a510.1 _bB561 |
||
100 |
_aBeth, E.W. _943227 |
||
245 | 0 | _aFormal Methods, An Introduction To Symbolic Logic and To The Study of Effective Operations In Arithmetic and Logic. | |
264 | _c1981 | ||
942 |
_cBK _2ddc |
||
035 | _a510.1 -B561-Formal Methods, An Introduction To Symbolic Logic and To The Study of Effective Operations In Arithmetic and Logic.- | ||
999 |
_c33548 _d33548 |