Finite model theory/
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin:
Springer,
1999
|
Έκδοση: | 2nd rev. and enl. |
Σειρά: | Perspectives in Mathematical Logic (Springer Verlag) / R.O. Gandy, H. Hermes, A. Levy, G.H. Muller
|
Θέματα: |