Refine your search
- Availability
-
Authors
- Boolos, George. (1)
- Burgess, John P., (1)
- Greenberg, Noam, (17)
- Hamkins, Joel David, (17)
- Hein, James L. (1)
- Hirschfeldt, Denis, (17)
- Hodel, Richard E. (1)
- Jeffrey, Richard C. (1)
- Loveland, Donald W. (1)
- Miller, Russell, (17)
- Rogers, H. (1)
- Sterrett, S. G. (1)
- Tourlakis, George J. (1)
- Holding libraries
-
Item types
- Books (5)
-
Locations
- General Stacks (4)
-
Series
-
Topics
- Computable functions (18)
- Computable functions... (4)
- Logic, Symbolic and ... (1)
- Model theory (17)
- Recursive functions. (2)
- Show more