|
|
|
|
| LEADER |
01767cam a2200325 a 4500 |
| 001 |
4445268 |
| 003 |
GR-PaULI |
| 005 |
20210726090322.0 |
| 008 |
941018s1992 enka 100 0 eng d |
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 Π_Σ_004_015000000000000_113_LMS
|7 0
|9 231967
|a LISP
|b LISP
|c REF
|d 2019-05-15
|i 140781
|l 0
|o Π/Σ 004.015 113 LMS
|p 025000043330
|r 2019-05-15 00:00:00
|t 1
|v 2019.00
|w 2019-05-15
|y BKN
|
| 999 |
|
|
|c 140933
|d 140933
|
| 010 |
|
|
|a 94220303
|
| 020 |
|
|
|a 0521427266
|
| 040 |
|
|
|a MMeT
|c GR-PaULI
|d
|b gre
|e AACR2
|
| 082 |
|
|
|2 23
|a 004.015 113
|
| 111 |
|
|
|a LMS Durham Symposium
|d (1991 :
|9 175504
|c University of Durham)
|
| 245 |
1 |
0 |
|a Applications of categories in computer science :
|b proceedings of the LMS Symposium, Durham 1991 /
|c edited by M.P. Fourman, P.T. Johnstone, A.M. Pitts.
|
| 260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 1992.
|
| 300 |
|
|
|a 339 σ. :
|b εικ. ;
|c 23 εκ.
|
| 490 |
1 |
|
|a London Mathematical Society lecture note series
|v 177.
|
| 500 |
|
|
|a "The London Mathematical Society Symposium on Applications of Categories in Computer Science took place ... at the University of Durham from 20 to 30 July 1991."--Pref.
|
| 504 |
|
|
|a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
|
| 650 |
|
4 |
|a Επιστήμη των υπολογιστών
|x Μαθηματικά
|9 875
|
| 650 |
|
4 |
|a Κατηγορίες (Μαθηματικά)
|9 104472
|
| 700 |
1 |
|
|a Fourman, M. P.,
|d 1950-
|9 175502
|e επιμελητής.
|
| 700 |
1 |
|
|a Johnstone, P. T.
|9 175503
|e επιμελητής.
|
| 700 |
1 |
|
|a Pitts, A. M.
|q (Andrew M.)
|9 123550
|e επιμελητής.
|
| 830 |
|
0 |
|a London Mathematical Society lecture note series
|v 177.
|9 162333
|
| 942 |
|
|
|2 ddc
|c BKN
|
| 998 |
|
|
|c ΜΠΟΥΡΑΣ
|d 2019-05
|
