A propositional calculus with denumerable matrix. Dummett, M. Journal of Symbolic Logic, 24:97–106, 1959. bibtex @Article{dummet1959,
author = {Dummett,Michael},
title = {A propositional calculus with denumerable matrix},
journal = {Journal of Symbolic Logic},
year = {1959},
volume = {24},
pages = {97--106},
_bla_doi = {10.2307/2964753},
_bla_issn = {1943-5886},
issue = {02},
numpages = {10},
}
Downloads: 0
{"_id":"C8z9Ys6S3XCxevMHh","bibbaseid":"dummett-apropositionalcalculuswithdenumerablematrix-1959","authorIDs":[],"author_short":["Dummett, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Dummett"],"firstnames":["Michael"],"suffixes":[]}],"title":"A propositional calculus with denumerable matrix","journal":"Journal of Symbolic Logic","year":"1959","volume":"24","pages":"97–106","_bla_doi":"10.2307/2964753","_bla_issn":"1943-5886","issue":"02","numpages":"10","bibtex":"@Article{dummet1959,\n\t\t author = {Dummett,Michael},\n\t\t title = {A propositional calculus with denumerable matrix},\n\t\t\t journal = {Journal of Symbolic Logic},\n\t\t\t year = {1959},\n\t\t\t\t volume = {24},\n\t\t\t\t pages = {97--106},\n\t\t\t\t\t_bla_doi = {10.2307/2964753},\n\t\t\t\t\t _bla_issn = {1943-5886},\n\t\t\t\t\t issue = {02},\n\t\t\t\t\t\t numpages = {10},\n}\n\n","author_short":["Dummett, M."],"key":"dummet1959","id":"dummet1959","bibbaseid":"dummett-apropositionalcalculuswithdenumerablematrix-1959","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"https://cs.stanford.edu/~yoniz/test.bib","creationDate":"2019-07-02T21:19:47.741Z","downloads":0,"keywords":[],"search_terms":["propositional","calculus","denumerable","matrix","dummett"],"title":"A propositional calculus with denumerable matrix","year":1959,"dataSources":["ChWnbF8EqSa8nccMs"]}