Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jsyml/Bernays41,
  author       = {Paul Bernays},
  title        = {A System of Axiomatic Set Theory - Part {II}},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {1},
  pages        = {1--17},
  year         = {1941},
  url          = {https://doi.org/10.2307/2267281},
  doi          = {10.2307/2267281},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Bernays41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Berry41,
  author       = {George D. W. Berry},
  title        = {On Quine's Axioms of Quantification},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {1},
  pages        = {23--27},
  year         = {1941},
  url          = {https://doi.org/10.2307/2267283},
  doi          = {10.2307/2267283},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Berry41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Curry41,
  author       = {Haskell B. Curry},
  title        = {A Revision of the Fundamental Rules of Combinatory Logic},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {2},
  pages        = {41--53},
  year         = {1941},
  url          = {https://doi.org/10.2307/2266655},
  doi          = {10.2307/2266655},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Curry41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Curry41a,
  author       = {Haskell B. Curry},
  title        = {Consistency and Completeness of the Theory of Combinators},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {2},
  pages        = {54--61},
  year         = {1941},
  url          = {https://doi.org/10.2307/2266656},
  doi          = {10.2307/2266656},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Curry41a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Dotterer41,
  author       = {Ray H. Dotterer},
  title        = {A Generalization of the Antilogism},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {3},
  pages        = {90--95},
  year         = {1941},
  url          = {https://doi.org/10.2307/2268578},
  doi          = {10.2307/2268578},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Dotterer41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Fitch41,
  author       = {Frederic Brenton Fitch},
  title        = {Closure and Quine's *101},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {1},
  pages        = {18--22},
  year         = {1941},
  url          = {https://doi.org/10.2307/2267282},
  doi          = {10.2307/2267282},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Fitch41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Goodman41,
  author       = {Nelson Goodman},
  title        = {Sequences},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {4},
  pages        = {150--153},
  year         = {1941},
  url          = {http://projecteuclid.org/euclid.jsl/1183389277},
  timestamp    = {Fri, 23 Apr 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Goodman41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Langford41,
  author       = {C. H. Langford},
  title        = {Note on a Device of Quine and Goodman},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {4},
  pages        = {154--155},
  year         = {1941},
  url          = {http://projecteuclid.org/euclid.jsl/1183389278},
  timestamp    = {Fri, 23 Apr 2010 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Langford41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Langford41a,
  author       = {C. H. Langford},
  title        = {List of Officers and Members of the Association for Symbolic Logic},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {4},
  pages        = {174--178},
  year         = {1941},
  url          = {https://doi.org/10.1017/S0022481200106486},
  doi          = {10.1017/S0022481200106486},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Langford41a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/McKinsey41,
  author       = {J. C. C. McKinsey},
  title        = {A Solution of the Decision Problem for the Lewis systems {S2} and
                  S4, with an Application to Topology},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {4},
  pages        = {117--134},
  year         = {1941},
  url          = {https://doi.org/10.2307/2267105},
  doi          = {10.2307/2267105},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/McKinsey41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Quine41,
  author       = {Willard Van Orman Quine},
  title        = {Element and Number},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {4},
  pages        = {135--149},
  year         = {1941},
  url          = {http://projecteuclid.org/euclid.jsl/1183389276},
  timestamp    = {Fri, 22 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Quine41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Rosser41,
  author       = {J. Barkley Rosser},
  title        = {The Independence of Quine's Axioms *200 and *201},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {3},
  pages        = {96--97},
  year         = {1941},
  url          = {https://doi.org/10.2307/2268579},
  doi          = {10.2307/2268579},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Rosser41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Tarski41,
  author       = {Alfred Tarski},
  title        = {On the Calculus of Relations},
  journal      = {J. Symb. Log.},
  volume       = {6},
  number       = {3},
  pages        = {73--89},
  year         = {1941},
  url          = {https://doi.org/10.2307/2268577},
  doi          = {10.2307/2268577},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/Tarski41.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.