Refine your search
Availability
-
Authors
- Boolos, George
- Borger, E.
- Cohen, Daniel E.
- Davis, Martin
- Downey, R. G.
- Fitting, Melvin
- Hermes, Hans
- Hirschfeldt, Denis R...
- Hodel, Richard E.
- Hong, Jia-wei
- Lange, Karen
- Matiiasevich, IU. V.
- Ng, Keng Meng
- Richards, J. Ian
- Rogers, H.
- Salomaa, Arto
- Shore, Richard A.
- Solomon, Reed
- Weber, Rebecca
- Weihrauch, K.
- Show more
- Show less
-
Collections
-
Holding libraries
-
Item types
-
Locations
-
Series
- Annals of mathematic...
- Die Grundlehren der ...
- Encyclopedia of math...
- Foundations of compu...
- Grundlehren der math...
- Lecture notes in mat...
- Mathematics and its ...
- McGraw-Hill series i...
- McGraw-Hill series i...
- Memoirs of the Ameri...
- Oxford logic guides
- Perspectives in math...
- Research notes in th...
- Student mathematical...
- Studies in logic and...
- Texts in theoretical...
- Wadsworth & Brooks/C...
- Show more
- Show less
-
Topics
- Algorithms
- Complexité de calcul...
- Computabilidade e Mo...
- Computable functions
- Computational comple...
- Computer arithmetic
- Data structures (Com...
- Decidability (Mathem...
- Fonctions calculable...
- Godel's theorem
- Linguagens De Progra...
- Logic, Symbolic and ...
- Logica Matematica
- Mathematical analysi...
- Physique
- Recursion theory
- Recursive functions
- Recursively enumerab...
- Sequential machine t...
- Unsolvability (Mathe...
- Show more
- Show less