Refine your search
Availability
-
Authors
-
Collections
- Circulating [x]
-
Holding libraries
-
Item types
- Book [x]
-
Series
-
Topics
- Logic, Symbolic and ...
- Object-oriented prog...
- Set theory
- System design [x]