Finite model theory /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ebbinghaus, Heinz-Dieter, 1939- (συγγραφέας.)
Άλλοι συγγραφείς: Flum, Jorg (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin ; New York : Springer, c1995.
Θέματα:
LEADER 01048pam a2200253 a 4500
001 1144467
003 GR-PaULI
005 20210824131850.0
008 950712s1995 gw a b 001 0 eng
952 |0 0  |1 0  |2 ddc  |4 0  |6 511_340000000000000_EBB  |7 0  |9 139101  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 5990  |l 0  |o 511.34 EBB  |p 025000281828  |r 2016-04-24 00:00:00  |t 1  |v 2016.00  |w 2016-04-24  |y BK15 
999 |c 90989  |d 90989 
010 |a  95035175  
020 |a 354060149X 
040 |a DLC  |c GR-PaULI  |d    |b gre  |e AACR2 
082 0 4 |a 511.34  |2 23 
100 1 |a Ebbinghaus, Heinz-Dieter,  |d 1939-  |9 46716  |e συγγραφέας. 
245 1 0 |a Finite model theory /  |c Heinz-Dieter Ebbinghaus, Jörg Flum. 
260 |a Berlin ;  |a New York :  |b Springer,  |c c1995. 
300 |a xv, 327 σ. :  |b εικ. ;  |c 24 εκ. 
504 |a Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.  
650 4 |9 2223  |a Μαθηματικά μοντέλα 
700 1 |a Flum, Jorg  |9 46717  |e συγγραφέας. 
942 |2 ddc  |c BK15 
998 |c ΜΠΟΥΡΑΣ  |d 2021-08