Tools and techniques in modal logic /
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Amsterdam ; New York :
Elsevier,
1999.
|
Series: | Studies in logic and the foundations of mathematics
142. |
ΒΚΠ - Πατρα: Reference Shelf
Call Number: |
511.3 KRA |
---|---|
Copy 1 | Available |