Recursive functions Computable functions 3 Logic, Symbolic and mathematical 3 Formal languages 2 Algorithms 1 Congresses 1 Data processing 1 Economics 1 Functions of real variables 1 Godel's theorem 1 Induction (Mathematics) 1 Lattice theory 1 Mathematical models 1 Metamathematics 1 Model theory 1 Nonclassical mathematical logic 1 Pascal (Computer program language) 1 Sequential machine theory 1 Unsolvability (Mathematical logic) 1