Refine your search
Availability
-
Authors
- Bennett, Albert B. (1)
- Nelson, L. Ted. (1)
- Rosen, Kenneth H. (1)
-
Holding libraries
-
Item types
- Books (2)
-
Locations
- General Stacks (2)
-
Topics
- Computer science (1)
- Logic, Symbolic and ... (1)
- Mathematics. (2)