| 000 | 00493nam a2200145Ia 4500 | ||
|---|---|---|---|
| 001 | 2631 | ||
| 003 | BIBL | ||
| 005 | 20160527192850.0 | ||
| 008 | 911101|1962||||ne |||||||||||00010|eng|d | ||
| 100 | 1 | 0 |
_aBeth, Evert Willem _9201818 _2Local |
| 245 | 1 | 0 |
_aFormal methods _ban introduction to symbolic logic and to the study of effective operations in arithmetic and logic. |
| 260 | 0 |
_aDordrecht _bD. Reidel Publishing _c1962. |
|
| 300 | _a170 p. | ||
| 650 | 0 |
_aLogic, Symbolic and mathematical _9127231 _2Local |
|
| 999 |
_c2169 _d2169 |
||