Back to Search
Start Over
Saul A. Kripke. The undecidability of monadic modal quantification theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 113–116
- Source :
- Journal of Symbolic Logic. 31:277-278
- Publication Year :
- 1966
- Publisher :
- Cambridge University Press (CUP), 1966.
Details
- ISSN :
- 19435886 and 00224812
- Volume :
- 31
- Database :
- OpenAIRE
- Journal :
- Journal of Symbolic Logic
- Accession number :
- edsair.doi...........259889621dce2bae95706d039832504e