Refine your search
Availability
-
Authors
- Akerkar, Rajendra
- Baaz, Matthias
- Bridger, Mark
- Gradel, Erich
- Grigorieva, Ellina
- Hamkins, Joel David
- Havil, Julian
- Hils, Martin
- Kleene, Stephen Cole
- Livio, Mario
- Loeser, Fancois
- Mainzer, Klaus
- Nerode, Anil
- Rosen, Kenneth H.
- Sawyer, W. W.
- Shore, Richard A.
- Smullyan, Raymond M.
- Soare, Robert Irving
- Stillwell, John
- Wilke, Thomas
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
-
Topics
- Computable functions
- Computer science
- Discoveries in scien...
- Engineering mathemat...
- Logic puzzles
- Logic, Symbolic and ...
- Mathematical Logic a...
- Mathematicians
- Mathematics
- MATHEMATICS / Logic
- Mathematics Educatio...
- Mathematics educatio...
- Mathematics-study an...
- Proof theory
- Proof theory Textboo...
- Real functions -- Fu...
- Real functions -- In...
- Textbooks
- Show more
- Show less