If you're interested in learning more about the mathematical theory of computation, here are some additional resources:

Some of the key concepts in the mathematical theory of computation include:

: Application of logical principles to verify both flowchart-based and ALGOL-like programs.