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
|
| Θέματα: |