Submitted to Sci. Math. Japonicae 1 Limiting rst order realizability interpretation Masahiro Nakata and Susumu Hayashi - Susumu - Document - PDFSEARCH.IO

First Page	Meta Content
	Submitted to Sci. Math. Japonicae 1 Limiting rst order realizability interpretation Masahiro Nakata and Susumu Hayashi Add to Reading List Document Date: 2008-10-02 07:57:24 Open Document File Size: 240,76 KB Share Result on Facebook Currency USD / / IndustryTerm restricted law / limit-algorithms / computing / / Person Susumu Hayashi / Masahiro Nakata / / Technology animation / / SocialTag Theory of computation Computability theory Function Integral calculus Primitive recursive function Fundamental theorem of calculus Mathematics Mathematical analysis Functions and mappings

Submitted to Sci. Math. Japonicae 1 Limiting rst order realizability interpretation Masahiro Nakata and Susumu HayashiAdd to Reading List