| 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 |
||