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
{"_id":"BRiKTrHzDJhcaJNkx","bibbaseid":"mckinsey-thedecisionproblemforsomeclassesofsentenceswithoutquantifiers-1943","authorIDs":[],"author_short":["McKinsey, J. C. C."],"bibdata":{"bibtype":"article","type":"article","title":"The decision problem for some classes of sentences without quantifiers","volume":"8","issn":"0022-4812","number":"2","journal":"Journal of Symbolic Logic","author":[{"propositions":[],"lastnames":["McKinsey"],"firstnames":["J.","C.","C."],"suffixes":[]}],"year":"1943","pages":"61–76","bibtex":"@article{mckinsey_decision_1943,\n\ttitle = {The decision problem for some classes of sentences without quantifiers},\n\tvolume = {8},\n\tissn = {0022-4812},\n\tnumber = {2},\n\tjournal = {Journal of Symbolic Logic},\n\tauthor = {McKinsey, J. C. C.},\n\tyear = {1943},\n\tpages = {61--76}\n}\n\n","author_short":["McKinsey, J. C. C."],"key":"mckinsey_decision_1943","id":"mckinsey_decision_1943","bibbaseid":"mckinsey-thedecisionproblemforsomeclassesofsentenceswithoutquantifiers-1943","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/hutengdai","creationDate":"2020-01-31T01:09:12.118Z","downloads":0,"keywords":[],"search_terms":["decision","problem","classes","sentences","without","quantifiers","mckinsey"],"title":"The decision problem for some classes of sentences without quantifiers","year":1943,"dataSources":["SzgNB6yMASNi6tysA"]}