A Recursion-theoretic View of Axiomatizable Theories

DOI10.1111/J.1746-8361.1970.TB01219.XzbMATH Open0274.02001OpenAlexW1981248288MaRDI QIDQ5181336

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

Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) History of mathematical logic and foundations (03-03) 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)