Computable functions 10 Mathematics 8 Logic, Symbolic and mathematical 6 Machine theory 5 Data structures (Computer Science) 2 Electronic data processing 2 Model theory 2 Philosophy 2 Recursive functions 2 Algebraic Structures 1 Anthurium andreanum Linden 1 Applied Logic 1 Artificial intelligence 1 Automata 1 Bitechnology and molecular biology 1 Combinatorics Analysis 1 Computability theory 1 Computation 1 Computational complexity 1 Computer science 1 Computer-aided design 1 Congresses 1 Differentiable dynamical systems 1 Discrete mathematics 1 Einführung 1 Electronic data processing - Mathematics 1 Formal languages 1 Formal languages. Machine theory 1 Geographic information systems 1 Geography 1