Search dblp for Publications

export results for "toc:db/journals/jsyml/jsyml10.bht:"

 download as .bib file

@article{DBLP:journals/jsyml/Doss45,
  author       = {Raouf Doss},
  title        = {Note on Two Theorems of Mostowski},
  journal      = {J. Symb. Log.},
  volume       = {10},
  number       = {1},
  pages        = {13--15},
  year         = {1945},
  url          = {https://doi.org/10.2307/2267201},
  doi          = {10.2307/2267201},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Doss45.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HelmerO45,
  author       = {Olaf Helmer and
                  Paul Oppenheim},
  title        = {A Syntactical Definition of Probability and of Degree of Confirmation},
  journal      = {J. Symb. Log.},
  volume       = {10},
  number       = {2},
  pages        = {25--60},
  year         = {1945},
  url          = {https://doi.org/10.2307/2266860},
  doi          = {10.2307/2266860},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/HelmerO45.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kleene45,
  author       = {Stephen Cole Kleene},
  title        = {On the Interpretation of Intuitionistic Number Theory},
  journal      = {J. Symb. Log.},
  volume       = {10},
  number       = {4},
  pages        = {109--124},
  year         = {1945},
  url          = {https://doi.org/10.2307/2269016},
  doi          = {10.2307/2269016},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Kleene45.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McKinsey45,
  author       = {J. C. C. McKinsey},
  title        = {On the Syntactical Construction of Systems of Modal Logic},
  journal      = {J. Symb. Log.},
  volume       = {10},
  number       = {3},
  pages        = {83--94},
  year         = {1945},
  url          = {https://doi.org/10.2307/2267027},
  doi          = {10.2307/2267027},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKinsey45.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Quine45,
  author       = {Willard Van Orman Quine},
  title        = {On the Logic of Quantification},
  journal      = {J. Symb. Log.},
  volume       = {10},
  number       = {1},
  pages        = {1--12},
  year         = {1945},
  url          = {https://doi.org/10.2307/2267200},
  doi          = {10.2307/2267200},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine45.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Quine45a,
  author       = {Willard Van Orman Quine},
  title        = {On Ordered Pairs},
  journal      = {J. Symb. Log.},
  volume       = {10},
  number       = {3},
  pages        = {95--96},
  year         = {1945},
  url          = {https://doi.org/10.2307/2267028},
  doi          = {10.2307/2267028},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine45a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Robinson45,
  author       = {Raphael M. Robinson},
  title        = {Finite Sequences of Classes},
  journal      = {J. Symb. Log.},
  volume       = {10},
  number       = {4},
  pages        = {125--126},
  year         = {1945},
  url          = {https://doi.org/10.2307/2269017},
  doi          = {10.2307/2269017},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Robinson45.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/RosserT45,
  author       = {J. Barkley Rosser and
                  Atwell R. Turquette},
  title        = {Axiom Schemes for M-Valued Propositional Calculi},
  journal      = {J. Symb. Log.},
  volume       = {10},
  number       = {3},
  pages        = {61--82},
  year         = {1945},
  url          = {https://doi.org/10.2307/2267026},
  doi          = {10.2307/2267026},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/RosserT45.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}