Mathematical logic for computer science/

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ben-Ari, M., 1948-
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: London New York: Springer, 2001
Έκδοση:2nd ed.
Θέματα:
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