Terra Cognita

On the existence of certain total recursive functions in nontrivial axiom systems, I

Licence unknown link only — licence forbids redistribution arxiv

N. C. A. da Costa (University of Sao Paulo), F. A. Doria (Federal University at Rio de Janeiro)

arXiv preprint (cmp-lg, cs.CL).

Source ↗

ABSTRACT · 0.0 MB · sha256 6db359fd984d…

Concepts this teaches

Not yet mapped to any concept.

A resource only becomes useful here once a curator has anchored it to concepts at specific pages. Until then it is a book on a shelf.