|
|
|
|
| LEADER |
00588nam a22001457a 4500 |
| 008 |
150813s1962 ne ||||| |||| 00| 0 eng d |
| 082 |
|
|
|2 164
|
| 100 |
|
|
|a Beth, Evert W.
|
| 245 |
|
|
|a Formal methods :
|c Evert W. Beth
|b an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
|
| 260 |
|
|
|a Dordrecht :
|b D.Reidel,
|c 1962.
|
| 300 |
|
|
|a 170 p. ;
|
| 653 |
|
|
|a Logic, Symbolic and mathematical
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 276187
|d 276187
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 164_000000000000000_BET_F
|7 0
|9 310718
|a PHL
|b PHL
|c ST1
|d 2015-08-13
|i 725
|l 0
|o 164 BET/F
|p PHL725
|r 2015-08-13
|y BK
|