The decision problem for some classes of sentences without quantifiers. McKinsey, J. C. C. Journal of Symbolic Logic, 8(2):61–76, 1943.
bibtex   
@article{mckinsey_decision_1943,
	title = {The decision problem for some classes of sentences without quantifiers},
	volume = {8},
	issn = {0022-4812},
	number = {2},
	journal = {Journal of Symbolic Logic},
	author = {McKinsey, J. C. C.},
	year = {1943},
	pages = {61--76}
}

Downloads: 0