Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jsyml/Barcan47,
  author       = {Ruth C. Barcan},
  title        = {The Identity of Individuals in a Strict Functional Calculus of Second
                  Order},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {1},
  pages        = {12--15},
  year         = {1947},
  url          = {https://doi.org/10.2307/2267171},
  doi          = {10.2307/2267171},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Barcan47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Baylis47,
  author       = {Charles A. Baylis},
  title        = {Ninth Meeting of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {1},
  pages        = {30--32},
  year         = {1947},
  url          = {https://doi.org/10.1017/S0022481200076568},
  doi          = {10.1017/S0022481200076568},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Baylis47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/GoodmanQ47,
  author       = {Nelson Goodman and
                  Willard Van Orman Quine},
  title        = {Steps Toward a Constructive Nominalism},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {4},
  pages        = {105--122},
  year         = {1947},
  url          = {https://doi.org/10.2307/2266485},
  doi          = {10.2307/2266485},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/GoodmanQ47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Goodstein47,
  author       = {R. L. Goodstein},
  title        = {Transfinite Ordinals in Recursive Number Theory},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {4},
  pages        = {123--129},
  year         = {1947},
  url          = {https://doi.org/10.2307/2266486},
  doi          = {10.2307/2266486},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Goodstein47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/KalmarS47,
  author       = {Laszlo Kalmar and
                  Janos Suranyi},
  title        = {On the Reduction of the Decision Problem},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {3},
  pages        = {65--73},
  year         = {1947},
  url          = {https://doi.org/10.2307/2267211},
  doi          = {10.2307/2267211},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/KalmarS47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mostowski47,
  author       = {Andrzej Mostowski},
  title        = {On Absolute Properties of Relations},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {2},
  pages        = {33--42},
  year         = {1947},
  url          = {https://doi.org/10.2307/2267246},
  doi          = {10.2307/2267246},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mostowski47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Post47,
  author       = {Emil L. Post},
  title        = {Recursive Unsolvability of a Problem of Thue},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {1},
  pages        = {1--11},
  year         = {1947},
  url          = {https://doi.org/10.2307/2267170},
  doi          = {10.2307/2267170},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Post47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine47,
  author       = {Willard Van Orman Quine},
  title        = {The Problem of Interpreting Modal Logic},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {2},
  pages        = {43--48},
  year         = {1947},
  url          = {https://doi.org/10.2307/2267247},
  doi          = {10.2307/2267247},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine47a,
  author       = {Willard Van Orman Quine},
  title        = {On Universals},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {3},
  pages        = {74--84},
  year         = {1947},
  url          = {https://doi.org/10.2307/2267212},
  doi          = {10.2307/2267212},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine47a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Wang47,
  author       = {Hao Wang},
  title        = {A Note on Quine's Principles of Quantification},
  journal      = {J. Symb. Log.},
  volume       = {12},
  number       = {4},
  pages        = {130--132},
  year         = {1947},
  url          = {https://doi.org/10.2307/2266487},
  doi          = {10.2307/2266487},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Wang47.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}