COMPUTABILITY IN ANALYSIS AND PHYSICS
MARIAN B.POUR-EL J.IAN RICHARDS1989 年出版206 页ISBN:7506210959
COMPUTABILITY AN INTRODUCTION TO RECURSIVE FUNCTION THEORY
1980 年出版251 页ISBN:0521294657
THEORY OF RECURSIVE FUNCTIONS AND EFFECTIVE COMPUTABILITY
HARTLY ROGERS1967 年出版482 页ISBN:
AUTOMATA COMPUTABILITY AND COMPLEXITY THEORY AND APPLICATIONS
ELAINE RICH2222 年出版1099 页ISBN:7302212935
Lecture Notes in Computer Science 3526 New Computational Paradigms First Conference on Computability
CiE 20052005 年出版574 页ISBN:3540261796
PASCAL FOR THE IBM PC IBM DOS PASCAL AND UCSP P-SYSTEM PASCAL
2222 年出版326 页ISBN:0893032808