Tools and techniques in modal logic /
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam ; New York :
Elsevier,
1999.
|
Σειρά: | Studies in logic and the foundations of mathematics
142. |
Φυσική περιγραφή: | xiii, 559 σ. : εικ. ; 24 εκ. |
---|---|
Βιβλιογραφία: | Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. |
ISBN: | 0444500553 |