Finite model theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ebbinghaus, Heinz-Dieter, 1939-
Άλλοι συγγραφείς: Flum, Jorg
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin Springer 1999
Έκδοση:2nd edition
Θέματα:
LEADER 01031nam a2200289 u 4500
001 10054257
003 upatras
005 20210824130541.0
008 050609s1999 ge eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_800000000000000_EBB  |7 0  |9 48652  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 078992  |l 0  |o 511.8 EBB  |p 025000045047  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
999 |c 30873  |d 30873 
020 |a 3540657584 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 511.8 
100 1 |a Ebbinghaus, Heinz-Dieter,  |d 1939-  |9 46716 
245 1 0 |a Finite model theory  |c Heinz - Dieter Ebbinghaus, Jorg Flum 
250 |a 2nd edition 
260 |a Berlin  |b Springer  |c 1999 
300 |a xiii, 360 p.  |c 24 cm. 
500 |a second revised and enlarged edition 1999 
504 |a Includes index 
650 4 |a Μαθηματικά μοντέλα  |9 2223 
700 1 |a Flum, Jorg  |9 46717 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ-12  |h 511.8  |m 078992  |p 025000045047  |t 1 
942 |2 ddc  |c BK15 
998 |c ΣΑΤΛΑΝΗΣ  |d 2005-06