Recursive Arithmetic of Skolem II.

DOI10.7146/MATH.SCAND.A-10662MaRDI QIDQ5608003zbMATH OpenOpenAlexFDO

Authors Henry A. Pogorzelski

Publication date 1962

Published in MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/165824

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

This page was built for publication: Recursive Arithmetic of Skolem II.

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