|
|
|
|
| LEADER |
00984nam a2200229 i 4500 |
| 003 |
GR-PaULI |
| 005 |
20230911100113.0 |
| 008 |
230911s1962 ne g 001 0 eng d |
| 040 |
|
|
|a GR-PaULI
|b gre
|c GR-PaULI
|e AACR2
|
| 082 |
|
|
|2 23
|a 511.3
|
| 100 |
|
|
|9 47647
|a Beth, Evert Willem
|e συγγραφέας.
|
| 245 |
1 |
0 |
|a Formal methods :
|b an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
|c Evert W. Beth.
|
| 260 |
|
|
|a Dordrecht :
|b D. Reidel,
|c c1962.
|
| 300 |
|
|
|a 170 σ. ;
|c 23 εκ.
|
| 490 |
1 |
|
|a Synthese Library.
|
| 500 |
|
|
|a Περιέχει ευρετήριο.
|
| 650 |
|
0 |
|9 472
|a Λογική, Συμβολική και μαθηματική
|
| 830 |
|
|
|9 156372
|a Synthese library
|
| 942 |
|
|
|2 ddc
|c BK
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 511_300000000000000_BET
|7 0
|9 373856
|a LISP
|b LISP
|c BSC
|d 2023-09-11
|i 0207a
|l 0
|o 511.3 BET
|p 025000039182
|r 2023-09-11 00:00:00
|t 1
|w 2023-09-11
|y BK15
|
| 998 |
|
|
|c Σαλαμούρα
|d 2023-09
|
| 999 |
|
|
|c 218058
|d 218058
|
