Refine your search
Availability
-
Authors
- Boolos, George (1)
- Burgess, John P. (1)
- Jeffrey, Richard C. (1)
- O'Donnell, Michael J... (1)
-
Holding libraries
- Ahmedabad (2)
-
Item types
- Book (2)
-
Series
-
Topics
- Logic (1)
- Programming language... (1)