Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Computational foundations of basic recursive function theory
Document related concepts
Computability theory wikipedia , lookup
Curry–Howard correspondence wikipedia , lookup
Foundations of mathematics wikipedia , lookup
Model theory wikipedia , lookup
Computable function wikipedia , lookup
Mathematical logic wikipedia , lookup
History of the function concept wikipedia , lookup
Intuitionistic type theory wikipedia , lookup
History of the Church–Turing thesis wikipedia , lookup
Truth-bearer wikipedia , lookup
Naive set theory wikipedia , lookup
List of first-order theories wikipedia , lookup
Axiom of reducibility wikipedia , lookup
Transcript
![[Part 2]](http://s1.studyres.com/store/data/008795881_1-223d14689d3b26f32b1adfeda1303791-150x150.png)