| 000 | 00850nam a2200181 4500 | ||
|---|---|---|---|
| 001 | UA/LIB/BASE/443700370 | ||
| 005 | 20180123223733.0 | ||
| 040 |
_bukr _ePSBO |
||
| 041 | 0 | _aeng | |
| 090 |
_aBC135 _b.B48 1962 _cBC135 .B48 1962 |
||
| 100 | 1 | _aBeth, Evert Willem | |
| 245 | 1 | 0 |
_aFormal methods _ban introduction to symbolic logic and to the study of effective operations in arithmetic and logic _cEvert W. Beth |
| 260 |
_aDordrecht _bD. Reidel Publishing Company _c1962 |
||
| 300 |
_axiv, 170 p. _btab. _c23 cm |
||
| 440 | 0 | _aSynthese library : a series of monographs on the recent development of symbolic logic, significs, sociology of language, sociology of science and knowledge, statistics of language and related fields | |
| 504 | _aБібліогр. : c. 164-167, Index | ||
| 964 | _a2014-01-22 | ||
| 999 |
_c269205 _d269205 |
||