Refine your search
Availability
- Showing only available items
- Show all items
-
Authors
- Albert Messiah
- Barendregt, H. P.
- Bochenski, Joseph M.
- Butter, E. P.
- Champine, George A.
- Chisholm, J. S. R.
- Curry, Haskell B.
- Fitting, Melvin
- Ginsburg, Seymour
- Kent, William
- Kleene, Stephen Cole
- Rogers, Robert
- Shoenfield, Joseph R...
- Starke, Peter H.
- Trakhtenbrot, B. A.
- U Zimmermann
- Vrije Universiteit t...
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Combinatory logic
- Database-management
- Electron microscopy
- Electronic data proc...
- Formal languages
- Lambda calculus
- Lattice theory
- Linear algebra
- Logic, Symbolic and ...
- Machine theory
- Mathematical logic
- Mathematics
- Metamathematics
- Model theory
- Quantum theory
- Sequential machine t...
- Software engineering
- Show more
- Show less