Assertion: church's function | /r/HasProperty | computable reckonable
Facets:
value: in s
type: LOCATION
Source sentences:
text: It may also be shown that a function which is computable ['reckonable'] in one of the systems S i , or even in a system of transfinite type, is already computable [reckonable] in S 1 .