Tools and techniques in modal logic/
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Amsterdam:
Elsevier,
1999
|
Series: | Studies in logic and the foundations of mathematics (North Holland) / J.Barwise, H.J.Keisler, P.Suppes, A.S.Tro/ra ;
142 |
Subjects: |
Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
---|---|---|---|---|
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών | 511.3 KraM t 1999 | 2 | Προβολή | OPAC |