Computability theory; an introduction to

recursion theory.

Trained in theoretical linguistics and

recursion theory, Hennix was saying that you need an algorithm to achieve a distinguished result.

Theoretical computer scientists, whether professional or in training, will find this collection of written versions of 20 talks given at the June-August 2005 workshop especially useful for such study areas as

recursion theory and set theory.

Structure and Complexity: The Use of

Recursion Theory in the Foundations of Neoclassical Economics and the Theory of Games," unpublished manuscript, Department of Mathematics, Cornell University, Ithaca, N.

Material is arranged in chapters on predicate logic, axiomatic set theory,

recursion theory and computability, Godel's incompleteness theorems, model theory, contemporary set theory, nonstandard analysis, and constructive mathematics.