Refine your search
Availability
-
Authors
- Boolos, George (2)
- Burgess, John P. (2)
- Jeffrey, Richard C. (2)
-
Collections
- E-Books EBSCO (2)
-
Home libraries
-
Item types
- Electronic-Books (2)
-
Topics
- Berechenbarkeit (2)
- Berekenbaarheid (1)
- Computable functions (2)
- COMPUTERS (1)
- Fonctions calculable... (2)
- Fonctions récursives (2)
- Logic, Symbolic and ... (2)
- Logica (1)
- Logik (1)
- Logique symbolique e... (2)
- MATHEMATICS (1)
- Mathematische Logik (2)
- Recursive functions (2)
- Symbolisk logik (1)
- Show more
- Show less