Back to Results
First PageMeta Content
Computability theory / Formal methods / Models of computation / Functions and mappings / Logic in computer science / Function / Peano axioms / N1 / Turing machine / Mathematics / Mathematical logic / Theoretical computer science


[removed] http://research.nii.ac.jp/∼terui/recursive.html I
Add to Reading List

Document Date: 2008-04-28 02:20:26

Open Document

File Size: 433,30 KB

Share Result on Facebook
UPDATE