Extended Canonical Systems

DOI10.2307/2034213MaRDI QIDQ3282932zbMATH OpenOpenAlexFDO

Authors Raymond M. Smullyan

Publication date 1961

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

zbMATH Keywords

foundationsphilosophymathematical logic

Cites work

• scientific article; zbMATH DE number 3062117 (Why is no real title available?)
• Formal Reductions of the General Combinatorial Decision Problem
• Theory of Formal Systems. (AM-47)

Cited in

(1)

• Some post canonical systems in one letter

This page was built for publication: Extended Canonical Systems

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