Refine your search
Availability
-
Authors
- Association for Comp... (1)
- Davis, Martin (1)
- Mendelson, Elliott (1)
- Weihrauch, Klaus (1)
-
Collections
- Non-fiction (1)
-
Holding libraries
-
Item types
- Book (4)
-
Locations
- General Stacks (1)
-
Series
-
Topics
- Computability (2)
- Computability theory... (1)
- Computers (1)
- Computing (1)
- First-order logic (1)
- Formal number theory... (1)
- Logic, symbolic and ... (1)
- Propositional calcul... (1)
- Special interest gro... (1)
- Show more
- Show less