Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jsyml/Church40,
  author       = {Alonzo Church},
  title        = {A Formulation of the Simple Theory of Types},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {2},
  pages        = {56--68},
  year         = {1940},
  url          = {https://doi.org/10.2307/2266170},
  doi          = {10.2307/2266170},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Church40.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Dugundji40,
  author       = {James Dugundji},
  title        = {Note on a Property of Matrices for Lewis and Langford's Calculi of
                  Propositions},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {4},
  pages        = {150--151},
  year         = {1940},
  url          = {https://doi.org/10.2307/2268175},
  doi          = {10.2307/2268175},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Dugundji40.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Hosiasson-Lindenbaum40,
  author       = {Janina Hosiasson{-}Lindenbaum},
  title        = {On Confirmation},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {4},
  pages        = {133--148},
  year         = {1940},
  url          = {https://doi.org/10.2307/2268173},
  doi          = {10.2307/2268173},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Hosiasson-Lindenbaum40.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/LeonardG40,
  author       = {Henry S. Leonard and
                  Nelson Goodman},
  title        = {The Calculus of Individuals and Its Uses},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {2},
  pages        = {45--55},
  year         = {1940},
  url          = {https://doi.org/10.2307/2266169},
  doi          = {10.2307/2266169},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/LeonardG40.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Lowenheim40,
  author       = {Leopold Lowenheim},
  title        = {Einkleidung der Mathematik in Schr{\"{o}}derschen Relativkalk{\"{u}}l},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {1},
  pages        = {1--15},
  year         = {1940},
  url          = {https://doi.org/10.2307/2269177},
  doi          = {10.2307/2269177},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Lowenheim40.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McKinsey40,
  author       = {J. C. C. McKinsey},
  title        = {Postulates for the Calculus of Binary Relations},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {3},
  pages        = {85--97},
  year         = {1940},
  url          = {https://doi.org/10.2307/2266861},
  doi          = {10.2307/2266861},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKinsey40.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McKinsey40a,
  author       = {J. C. C. McKinsey},
  title        = {Proof That There are Infinitely Many Modalities in Lewis's System
                  S\({}_{\mbox{2}}\)},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {3},
  pages        = {110--112},
  year         = {1940},
  url          = {https://doi.org/10.2307/2266864},
  doi          = {10.2307/2266864},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKinsey40a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McKinsey40b,
  author       = {J. C. C. McKinsey},
  title        = {A Correction to Lewis and Langford's Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {4},
  pages        = {149},
  year         = {1940},
  url          = {https://doi.org/10.2307/2268174},
  doi          = {10.2307/2268174},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKinsey40b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Polya40,
  author       = {George P{\'{o}}lya},
  title        = {Sur Les Types Des Propositions Compos{\'{e}}es},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {3},
  pages        = {98--103},
  year         = {1940},
  url          = {https://doi.org/10.2307/2266862},
  doi          = {10.2307/2266862},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Polya40.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/QuineG40,
  author       = {Willard Van Orman Quine and
                  Nelson Goodman},
  title        = {Elimination of Extra-Logical Postulates},
  journal      = {J. Symb. Log.},
  volume       = {5},
  number       = {3},
  pages        = {104--109},
  year         = {1940},
  url          = {https://doi.org/10.2307/2266863},
  doi          = {10.2307/2266863},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/QuineG40.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}