DOI10.2969/jmsj/01520129zbMath0118.24902MaRDI QIDQ2626201
Raymond M. Smullyan
Publication date: 1963 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/01520129
zbMATH Keywords
mathematical logic