Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "toc:db/journals/bsl/bsl1.bht:"

> Home > Search

download as .bib file

@article{DBLP:journals/bsl/Boolos95,
  author       = {George Boolos},
  title        = {Frege's theorem and the Peano postulates},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {317--326},
  year         = {1995},
  url          = {https://doi.org/10.2307/421158},
  doi          = {10.2307/421158},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Boolos95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Dalen95,
  author       = {Dirk van Dalen},
  title        = {Herman Weyl's intuitionistic mathematics},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {145--169},
  year         = {1995},
  url          = {https://doi.org/10.2307/421038},
  doi          = {10.2307/421038},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Dalen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Davis95,
  author       = {Martin Davis},
  title        = {American logic in the 1920s},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {273--278},
  year         = {1995},
  url          = {https://doi.org/10.2307/421156},
  doi          = {10.2307/421156},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Davis95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Freiling95,
  author       = {Chris Freiling},
  title        = {How to compute antiderivatives},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {279--316},
  year         = {1995},
  url          = {https://doi.org/10.2307/421157},
  doi          = {10.2307/421157},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Freiling95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Goldring95,
  author       = {Noa Goldring},
  title        = {Measures: back and forth between point sets and large sets},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {170--188},
  year         = {1995},
  url          = {https://doi.org/10.2307/421039},
  doi          = {10.2307/421039},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Goldring95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Jech95,
  author       = {Thomas Jech},
  title        = {Singular cardinals and the {PCF} theory},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {408--424},
  year         = {1995},
  url          = {https://doi.org/10.2307/421130},
  doi          = {10.2307/421130},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Jech95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Jensen95,
  author       = {Ronald B. Jensen},
  title        = {Inner models and large cardinals},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {393--407},
  year         = {1995},
  url          = {https://doi.org/10.2307/421129},
  doi          = {10.2307/421129},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Jensen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/LemppL95,
  author       = {Steffen Lempp and
                  Manuel Lerman},
  title        = {A general framework for priority arguments},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {2},
  pages        = {189--201},
  year         = {1995},
  url          = {https://doi.org/10.2307/421040},
  doi          = {10.2307/421040},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/LemppL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Neeman95,
  author       = {Itay Neeman},
  title        = {Optimal proofs of determinacy},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {3},
  pages        = {327--339},
  year         = {1995},
  url          = {https://doi.org/10.2307/421159},
  doi          = {10.2307/421159},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Neeman95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Parsons95,
  author       = {Charles D. Parsons},
  title        = {Platonism and mathematical intuition in Kurt G{\"{o}}del's thought},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {44--74},
  year         = {1995},
  url          = {https://doi.org/10.2307/420946},
  doi          = {10.2307/420946},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Parsons95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Rathjen95,
  author       = {Michael Rathjen},
  title        = {Recent advances in ordinal analysis: pi\({}^{\mbox{1}}\)\({}_{\mbox{2}}\)
                  - {CA} and related systems},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {468--485},
  year         = {1995},
  url          = {https://doi.org/10.2307/421132},
  doi          = {10.2307/421132},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Rathjen95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Shoenfield95,
  author       = {Joseph R. Shoenfield},
  title        = {The mathematical work of S. C. Kleene},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {9--43},
  year         = {1995},
  url          = {https://doi.org/10.2307/420945},
  doi          = {10.2307/420945},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Shoenfield95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Shore95,
  author       = {Richard A. Shore},
  title        = {The Bulletin of Symbolic Logic},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {1--3},
  year         = {1995},
  url          = {https://doi.org/10.1017/S107989860000826X},
  doi          = {10.1017/S107989860000826X},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Shore95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Steel95,
  author       = {John R. Steel},
  title        = {HOD\({}^{\mbox{L(R)}}\) is a core model below {\textbackslash}Theta},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {75--84},
  year         = {1995},
  url          = {https://doi.org/10.2307/420947},
  doi          = {10.2307/420947},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Steel95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/Urquhart95,
  author       = {Alasdair Urquhart},
  title        = {The complexity of propositional proofs},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {4},
  pages        = {425--467},
  year         = {1995},
  url          = {https://doi.org/10.2307/421131},
  doi          = {10.2307/421131},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/Urquhart95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/bsl/X95,
  title        = {Guidelines for logic education},
  journal      = {Bull. Symb. Log.},
  volume       = {1},
  number       = {1},
  pages        = {4--8},
  year         = {1995},
  url          = {https://doi.org/10.2307/420944},
  doi          = {10.2307/420944},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bsl/X95.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.