Refine your search
Availability
-
Authors
- Lewis, Harry R. (2)
- Morash, Ronald P. (1)
- Gauthier, Yvon (1)
-
Item types
- Books (4)
-
Locations
- First Floor (4)
-
Series
- Synthese library (1)
-
Topics
- Logic, Symbolic and ... (4)
- Computational comple... (2)
- Mathematics (2)
- Machine theory (2)
- Formal languages (2)