Extensions of first order logic /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge :
University Press,
1996
|
| Σειρά: | Cambridge Tracts in Theoretical Computer Science ;
19 |
| Θέματα: |