This theory can be regarded as a systematic mathematical theory of algorithms and computations. familiar with a number of basic concept in theoretical computer science: primitive recursive functions, ...