|
|
|
|
LEADER |
01205nam a2200241 a 4500 |
001 |
GR-Antirio1059 |
008 |
141010s2001 enk g b 001 0 eng d |
020 |
|
|
|a 9781852333195
|
040 |
|
|
|a GrPaTEI
|b gre
|c GR-PaULI
|
040 |
|
|
|a GrPaTEI
|b gre
|c GR-PaULI
|
082 |
|
0 |
|a 511.3
|2 21
|
100 |
1 |
|
|a Ben-Ari, M.,
|d 1948-
|
245 |
1 |
0 |
|a Mathematical logic for computer science/
|c Mordechai Ben-Ari.
|
250 |
|
|
|a 2nd ed.
|
260 |
|
|
|a London
|a New York:
|b Springer,
|c 2001
|
300 |
|
|
|a xiv, 304 σ. :
|b εικ.
|
504 |
|
|
|a Περιλαμβάνει βιβλιογραφικές παραπομπές (σ.[293]-295) και ευρετήριο
|
650 |
|
0 |
|a Logic, Symbolic and mathematical
|
942 |
|
|
|2 ddc
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 511_300000000000000_BEN
|7 0
|9 262850
|a LISK-2
|b LISK-2
|c BSC
|d 2021-01-17
|e 24
|f 0
|g 0.00
|l 0
|o 511.3 BEN
|p 2430000007497
|r 2021-01-17 00:00:00
|t 1
|w 2021-01-17
|y BK15
|x 20141010 0 ΧΑΣΑΝΗ 1
|x GrPaTEI - Antirrio
|
952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 511_300000000000000_BEN
|7 0
|9 262851
|a LISK-2
|b LISK-2
|c BSC
|d 2021-01-17
|e 24
|f 0
|g 0.00
|l 0
|o 511.3 BEN
|p 2430000007498
|r 2021-01-17 00:00:00
|t 1
|w 2021-01-17
|y BK15
|x 20141010 0 ΧΑΣΑΝΗ 1
|x GrPaTEI - Antirrio
|
971 |
|
|
|a .b25708582
|b 16-07-20
|c 12-09-16
|
999 |
|
|
|c 151412
|d 151412
|