Computing Review Subject Classification System (1964, obsolete)

5.2 Metatheory

• 5.20 General
• 5.21 Formal Logic
• 5.22 Automata; Turing Machines
• 5.23 Mechanical and Algorithmic Languages
• 5.24 Theory of Programming
• 5.29 Miscellaneous