Refine your search
Availability
-
Authors
- Ben-ari, Mordechai
- Bloem, Roderick
- Cameron, Peter J.
- Carnap, Rudolf
- Gunderson, David S.
- Halpern, Joseph Y.
- Hein, James L.
- Kelly, John J.
- Krithivasan, Kamala
- Lewis, Harry R.
- Lipschutz, Seymour
- Lipson, Marc Lars
- Papadimitriou, Chris...
- Rosen, Kenneth H.
- Sohrab, Houshang H.
- Stolyar, Abram Arono...
- Veith, Helmut
- Wallis, W.D.
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Algebra, Abstract
- Borel sets
- Combinatorial analys...
- Computable functions
- Computational comple...
- Computer science
- Computer science-Mat...
- Computer systems
- Data structure (Comp...
- Engineering mathemat...
- Formal languages
- Language and languag...
- Language and logic
- Logic, Symbolic and ...
- Logic, symbolic and ...
- Machine theory
- Mathematics
- Probabilities
- Proof theory
- Software engineering
- Show more
- Show less