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

Company

Oxford University Press / Kluwer Academic Press / Harvard University Press / Raven Press / MIT Press / /

Country

Netherlands / /

/

NaturalFeature

Lascar / /

Organization

Harvard University / Oxford University / MIT / /

Person

J. van Heijenoort / H. Rogers / Jr. / R. Herken / M. Davis / /

Position

editor / /

URL

http /

SocialTag