The intensionality of the predicate '--- is recursive'

DOI10.1305/NDJFL/1093888222zbMATH Open0271.02031OpenAlexW2038830120MaRDI QIDQ759133FDOQ759133

Authors: Charles F. Kielkopf 

Publication date: 1978

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093888222

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10) Computability and recursion theory (03D99)

This page was built for publication: The intensionality of the predicate '--- is recursive'

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759133)