Refine your search
Availability
-
Authors
- Gabbay, Dov M., (5)
- Hogger, Christopher ... (1)
- MAIBAUM, Thomas S. E... (1)
- Robinson, J. A. (1)
- Shehtman, V. B. (1)
- Show more
-
Collections
-
Holding libraries
-
Item types
- Main Collection (4)
- SOM Main Collection (1)
-
Series
-
Topics
- Computer science. (1)
- Logic (1)
- Logic programming. (1)
- Logic, Symbolic and ... (2)
- Nonclassical mathema... (1)
- Show more