Finite Model Theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ebbinghaus, Heinz-Dieter, 1939-
Άλλοι συγγραφείς: Flum, JΓΆrg
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
Έκδοση:Second Revised and Enlarged Edition 1999
Σειρά:Springer Monographs in Mathematics
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/3-540-28788-4
LEADER 01242nom a2200325 u 4500
001 10073583
003 upatras
005 20210126160732.0
008 090513s2006 eng
020 |a 9783540287889 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a Ebbinghaus, Heinz-Dieter,  |d 1939-  |9 46716 
245 1 0 |a Finite Model Theory  |h [electronic resource]  |c by Heinz-Dieter Ebbinghaus, JΓΆrg Flum 
250 |a Second Revised and Enlarged Edition 1999 
260 |a Berlin, Heidelberg  |b Springer-Verlag Berlin Heidelberg  |c 2006 
300 |b v.: digital 
490 0 |a Springer Monographs in Mathematics  |x 1439-7382 
650 4 |a Computer science  |9 13995 
650 4 |a Logic, Symbolic and mathematical  |9 65151 
650 4 |a Mathematics  |9 10598 
650 4 |a Mathematical Logic and Formal Languages  |9 67086 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
700 1 |a Flum, JΓΆrg  |9 71192 
760 1 |a Springer Monographs in Mathematics  |x 1439-7382 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/3-540-28788-4 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 75039  |a LISP  |b LISP  |c REF  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y BKN 
999 |c 49828  |d 49828