作者:Adrian Horia Dediu,Armand Mihai Ionescu,Carlos Martín-Vide
主题词:Mathematical Logic and Formal Languages,Theory of Computation,Symbolic and Algebraic Manipulation,Logics and Meanings of Programs,Mathematics of Computing,Computation by Abstract Devices