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