|
|
|
|
| LEADER |
02401nam a2200397 i 4500 |
| 001 |
10032215 |
| 003 |
upatras |
| 005 |
20210413082642.0 |
| 008 |
040203m19922000enka g 1 eng d |
| 999 |
|
|
|c 124056
|d 124056
|
| 020 |
|
|
|a 0198537352
|q (τ. 1)
|
| 020 |
|
|
|a 0198537611
|q (τ. 2)
|
| 020 |
|
|
|a 0198537816
|q (τ. 5)
|
| 040 |
|
|
|a GR-PaULI
|b gre
|c GR-PaULI
|e AACR2
|
| 082 |
0 |
4 |
|a 004.015 113
|2 23
|
| 245 |
0 |
0 |
|a Handbook of logic in computer science /
|c edited by S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press,
|c 1992-2000.
|
| 300 |
|
|
|a 5 τ. :
|b εικ. ;
|c 24 εκ.
|
| 500 |
|
|
|a Τ. 1. - xii, 827 σ. - 1992 ; τ. 2. x, 571 σ. - 1992 ; τ. 5. - x, 571 σ. - 2000.
|
| 504 |
|
|
|a Περιλαμβάνει βιβλιογραφία και ευρετήριο.
|
| 505 |
1 |
|
|a Τ. 1. Background : mathematical structures -- τ. 2. Background : computational structures -- τ. 5. Logic and algebraic methods.
|
| 650 |
|
4 |
|a Λογικός προγραμματισμός
|9 61492
|
| 650 |
|
4 |
|a Επιστήμη των υπολογιστών
|x Μαθηματικά.
|9 875
|
| 650 |
|
4 |
|a Λογική, Συμβολική και μαθηματική
|9 472
|
| 700 |
1 |
|
|a Abramsky, Samson,
|d 1953-
|9 96370
|e επιμελητής.
|
| 700 |
1 |
|
|a Gabbay, Dov M.,
|d 1945-
|9 84902
|e επιμελητής.
|
| 700 |
1 |
|
|a Maibaum, Thomas S. E.,
|4
|d 1947-
|9 155290
|e επιμελητής.
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΒΣ1
|k ΟΧΙΔ
|h R 004.015 1 ABR
|m 061197
|p 025000083848
|t 1
|3 v.1
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΒΣ1
|k ΟΧΙΔ
|h R 004.015 1 ABR
|m 056495
|p 025000075143
|t 1
|3 v.2
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΒΚΠ
|b ΒΣ1
|k ΟΧΙΔ
|h R 004.015 1 ABR
|m 072747
|p 025000045850
|t 1
|3 v5.
|
| 942 |
|
|
|2 ddc
|c BKN
|
| 998 |
|
|
|c ΑΒΑΚΟΜΙΔΗ
|d 2004-09
|
| 998 |
|
|
|d ΒΑΣΙΛΕΙΟΥ
|b 2019-09
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|3 τ.1
|4 0
|6 Π_004_015000000000000_113_HAN
|7 0
|9 203229
|a LISP
|b LISP
|c REF
|d 2016-04-24
|i 061197
|l 0
|o Π 004.015 113 HAN
|p 025000083848
|r 2016-04-24
|t 1
|v 2016.00
|w 2016-04-24
|y BKN
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|3 τ.2
|4 0
|6 Π_004_015000000000000_113_HAN
|7 0
|9 203230
|a LISP
|b LISP
|c REF
|d 2016-04-24
|i 056495
|l 0
|o Π 004.015 113 HAN
|p 025000075143
|r 2016-04-24
|t 1
|v 2016.00
|w 2016-04-24
|y BKN
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|3 τ.5
|4 0
|6 Π_004_015000000000000_113_HAN
|7 0
|9 203231
|a LISP
|b LISP
|c REF
|d 2016-04-24
|i 072747
|l 0
|o Π 004.015 113 HAN
|p 025000045850
|r 2016-04-24
|t 1
|v 2016.00
|w 2016-04-24
|y BKN
|
