| 000 | 00637nam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | AR-LpUFCE | ||
| 005 | 20240123181959.0 | ||
| 007 | ta | ||
| 008 | 230201s1962 ne dr 000 0 eng d | ||
| 024 | 8 |
_aDAQ014422 _b33849 |
|
| 040 |
_aAR-LpUFCE _bspa _cAR-LpUFCE |
||
| 080 | _a164 | ||
| 100 | 1 |
_aBeth, Evert W _9191046 |
|
| 245 | 1 | 0 |
_aFormal Methods : _ban introduction to symbolic logic and to the Study of Efective Operations in Arithmetic and Logic |
| 260 |
_aDordrecht : _b Reidel, _c1962 |
||
| 300 | _a170 p. | ||
| 650 | 4 |
_aLÓGICA _9695 |
|
| 650 | 4 |
_aARITMÉTICA _9684 |
|
| 650 | 4 |
_aOPERACIONES NUMÉRICAS _9190817 |
|
| 942 | _cBK | ||
| 999 |
_c774035 _d774035 |
||