(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.

A surname from Dutch.

plural of prosimian

plural of butcha