Refine your search
Availability
-
Authors
- Boolos, George (1)
- Burgess, John P. (1)
- Burris, Stanley (1)
- Gerstein, Larry J. (1)
- Gregg, John (1)
- Hedman, Shawn (1)
- Jeffrey, Richard C. (1)
- Krithivasan, Kamala (1)
- Lewis, Harry R. (1)
- Lipschutz, Seymour (1)
- Lipson, Marc (1)
- Lipson, Marc Lars (1)
- McKay, Thomas J. (1)
- Nawab, Syed Hamid (1)
- Oppenheim, Alan V.[ed (1)
- Papadimitriou, Christos H. (1)
- Rosen, Kenneth H, (1)
- Schumacher, Carol (1)
- Spencer, Joel H. (1)
- Wittgenstein, Ludwig, (1)
- Show more
- Show less
-
Item types
-
Locations
- First floor (11)
- Lower Floor (3)
-
Series
-
Topics
- Algebra, Abstract (2)
- Algebra, Boolean (1)
- Combinatorial analysis (2)
- Computable functions (1)
- Computational complexity (1)
- Computer science (1)
- Expert systems (Computer science) (1)
- Formal languages (1)
- Language and languages (1)
- Logic, Modern (1)
- Logic, Symbolic and mathematical (12)
- Logic, symbolic and mathematical (2)
- Machine theory (1)
- Mathematics (2)
- Problem-solving (1)
- Random graphs (1)
- Recursive functions (1)
- Signal processing (1)
- Show more
- Show less