Logic and Computer Science
Paul C. Gilmore · 2005
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 .. .