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
Return to:
5 Mathematics of Computation
Computing Review Subject Classification System (1964, obsolete)
Overview of 1964 CR System