A Recursion-theoretic View of Axiomatizable Theories

DOI10.1111/J.1746-8361.1970.TB01219.XMaRDI QIDQ5181336zbMATH OpenOpenAlexFDO

Authors Marian Boykan Pour-El

Publication date 1970

Published in Dialectica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1746-8361.1970.tb01219.x

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) General logic (03B99) Computability and recursion theory (03Dxx)

This page was built for publication: A Recursion-theoretic View of Axiomatizable Theories

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