Elementary formal systems
From MaRDI portal
Publication:774032
DOI10.2969/JMSJ/01310038zbMATH Open0100.01003OpenAlexW1993681631MaRDI QIDQ774032FDOQ774032
Authors: Raymond M. Smullyan
Publication date: 1961
Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2969/jmsj/01310038
This page was built for publication: Elementary formal systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q774032)