作者:Michael J. Dinneen,Bakhadyr Khoussainov,André Nies
主题词:Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Computation by Abstract Devices,Logics and Meanings of Programs,Mathematics of Computing,Theory of Computation