On Post's canonical systems

DOI10.2307/2963678zbMath0134.00803OpenAlexW2062828804MaRDI QIDQ5344160

Raymond M. Smullyan

Publication date: 1963

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2963678

zbMATH Keywords

mathematical logic

Related Items (2)

How to prove that two classes of simple primitive recursive functions are distinct ⋮ Properties of the solutions of equations in a free semigroup

Cites Work

• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: On Post's canonical systems