|
|
|
|
LEADER |
01247cam a22002891 4500 |
001 |
794276 |
003 |
GR-PaULI |
005 |
20210726090322.0 |
008 |
770705s1972 enk b 000 0 eng |
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 Π_Σ_511_300000000000000_HIN
|7 0
|9 231894
|a LISP
|b LISP
|c REF
|d 2019-05-13
|i 075062
|l 0
|o Π/Σ 511.3 HIN
|p 025000043308
|r 2019-05-13 00:00:00
|t 1
|v 2019.00
|w 2019-05-13
|y BKN
|
999 |
|
|
|c 140886
|d 140886
|
010 |
|
|
|a 74179165
|
020 |
|
|
|a 0521096979
|
040 |
|
|
|a DLC
|c GR-PaULI
|d
|b gre
|e AACR2
|
082 |
0 |
0 |
|a 511.3
|2 23
|
100 |
1 |
|
|a Hindley, J. Roger
|9 175457
|e συγγραφέας.
|
245 |
1 |
0 |
|a Introduction to combinatory logic /
|c J. R. Hindley, B. Lercher and J. P. Seldin.
|
260 |
|
|
|a Cambridge [Eng.] :
|b Cambridge University Press,
|c 1972.
|
300 |
|
|
|a 170 σ. ;
|c 24 εκ.
|
490 |
1 |
|
|a London Mathematical Society. Lecture note series
|v 7.
|
504 |
|
|
|a Περιλαμβάνει βιβλιογραφία.
|
650 |
|
4 |
|a Λογική, Συμβολική και μαθηματική
|9 472
|
700 |
1 |
|
|a Lercher, B.
|e συγγραφέας.
|9 175458
|
700 |
1 |
|
|a Seldin, J. P.
|e συγγραφέας.
|9 175459
|
830 |
|
0 |
|a London Mathematical Society lecture note series
|v 7.
|9 162333
|
942 |
|
|
|2 ddc
|c BKN
|
998 |
|
|
|c ΜΠΟΥΡΑΣ
|d 2019-05
|