剧情简介：Preface Acknowledgments Dependency Graph 1 Preliminaries 1. Sets and n-tuples 2. Functions 3. Alphabets and Strings 4. Predicates 5. Quantifiers 6. Proof by Contradiction 7. Mathematical Induction Part 1 Cmnputability 2 Programs and Computable Functions 1. A Programming Language 2. Some Examples of Programs 3. Syntax - 4. Computable Functions 5. More about Macros 3 Primitive Re...(展开全部)
作者：Martin Davis
出版社：Morgan Kaufmann
ISBN：9780122063824
