Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jsyml/Blake38,
  author       = {Archie Blake},
  title        = {Corrections to \emph{Canonical Expressions in Boolean Algebra}},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {3},
  pages        = {112--113},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267595},
  doi          = {10.2307/2267595},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Blake38.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Churchman38,
  author       = {C. West Churchman},
  title        = {On Finite and Infinite Modal Systems},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {2},
  pages        = {77--82},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267611},
  doi          = {10.2307/2267611},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Churchman38.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/ChwistekH38,
  author       = {Leon Chwistek and
                  Wladyslaw Hetper},
  title        = {New Foundation of Formal Metamathematics},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {1},
  pages        = {1--36},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267504},
  doi          = {10.2307/2267504},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/ChwistekH38.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fitch38,
  author       = {Frederic Brenton Fitch},
  title        = {The Consistency of the Ramified Principia},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {4},
  pages        = {140--149},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267777},
  doi          = {10.2307/2267777},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fitch38.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kleene38,
  author       = {Stephen Cole Kleene},
  title        = {Third Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {1},
  pages        = {59--60},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267546},
  doi          = {10.2307/2267546},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kleene38.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Kleene38a,
  author       = {Stephen Cole Kleene},
  title        = {On Notation for Ordinal Numbers},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {4},
  pages        = {150--155},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267778},
  doi          = {10.2307/2267778},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kleene38a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Pepis38,
  author       = {Jozef Pepis},
  title        = {Ein Verfahren der mathematischen Logik},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {2},
  pages        = {61--76},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267610},
  doi          = {10.2307/2267610},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Pepis38.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine38,
  author       = {Willard Van Orman Quine},
  title        = {Completeness of the Propositional Calculus},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {1},
  pages        = {37--40},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267505},
  doi          = {10.2307/2267505},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine38.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine38a,
  author       = {Willard Van Orman Quine},
  title        = {On the Theory of Types},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {4},
  pages        = {125--139},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267776},
  doi          = {10.2307/2267776},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine38a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Reach38,
  author       = {K. Reach},
  title        = {The Name Relation and the Logical Antinomies},
  journal      = {J. Symb. Log.},
  volume       = {3},
  number       = {3},
  pages        = {97--111},
  year         = {1938},
  url          = {https://doi.org/10.2307/2267594},
  doi          = {10.2307/2267594},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Reach38.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}