Refine your search
Availability
-
Authors
- Dalen, D. van (1)
- Daniel Kroening (1)
- Gallier, Jean H. (1)
- Hein, James L. (1)
- Rautenberg, Wolfgang (1)
- Smullyan, Raymond M. (1)
- Strichman, Ofer (1)
- Show more
- Show less
-
Collections
- SES (2)
-
Item types
- Course Reserve (2)
- Technical Reference Book (2)
- Text Book (4)
-
Series
- Texts in theoretical... (1)
- Universitext (1)
-
Topics
- Algorithms (1)
- Computable functions (1)
- Computer science (1)
- Data structures (Com... (1)
- Decision making--Mat... (1)
- Logic programming (1)
- Logic, Symbolic and ... (5)
- Logic, symbolic and ... (1)
- Mathematical logic (1)
- Mathematics (1)
- Symbolic and mathema... (1)
- Symbolic logic (1)
- Show more
- Show less