ABSTRACT
To demonstrate that theoretical computer science, like mathematics, .. . deals exclusively with concepts definable in terms of a very
small number of fundamental logical concepts, and that all its propositions are deducible from a very small number of fundamen tal logical principles .. .