Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/bsl/bsl6.bht:"
download as .bib file
@article{DBLP:journals/bsl/Bars00,
author = {Jean{-}Marie Le Bars},
title = {Counterexamples of the 0-1 law for fragments of existential second-order
logic: an overview},
journal = {Bull. Symb. Log.},
volume = {6},
number = {1},
pages = {67--82},
year = {2000},
url = {https://doi.org/10.2307/421076},
doi = {10.2307/421076},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Bars00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/CholakH00,
author = {Peter Cholak and
Leo Harrington},
title = {Definable encodings in the computably enumerable sets},
journal = {Bull. Symb. Log.},
volume = {6},
number = {2},
pages = {185--196},
year = {2000},
url = {https://doi.org/10.2307/421206},
doi = {10.2307/421206},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/CholakH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Dalen00,
author = {Dirk van Dalen},
title = {Brouwer and Fraenkel on intuitionism},
journal = {Bull. Symb. Log.},
volume = {6},
number = {3},
pages = {284--310},
year = {2000},
url = {https://doi.org/10.2307/421057},
doi = {10.2307/421057},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Dalen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/DalenE00,
author = {Dirk van Dalen and
Heinz{-}Dieter Ebbinghaus},
title = {Zermelo and the Skolem paradox},
journal = {Bull. Symb. Log.},
volume = {6},
number = {2},
pages = {145--161},
year = {2000},
url = {https://doi.org/10.2307/421203},
doi = {10.2307/421203},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DalenE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/DeutschEL00,
author = {David Deutsch and
Artur Ekert and
Rossella Lupacchini},
title = {Machines, logic and quantum physics},
journal = {Bull. Symb. Log.},
volume = {6},
number = {3},
pages = {265--283},
year = {2000},
url = {https://doi.org/10.2307/421056},
doi = {10.2307/421056},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DeutschEL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/FefermanFMS00,
author = {Solomon Feferman and
Harvey M. Friedman and
Penelope Maddy and
John R. Steel},
title = {Does mathematics need new axioms?},
journal = {Bull. Symb. Log.},
volume = {6},
number = {4},
pages = {401--446},
year = {2000},
url = {https://doi.org/10.2307/420965},
doi = {10.2307/420965},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/FefermanFMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Franchella00,
author = {Miriam Franchella},
title = {Towards a re-evaluation of Julius K{\"{o}}onig's contribution
to logic},
journal = {Bull. Symb. Log.},
volume = {6},
number = {1},
pages = {45--66},
year = {2000},
url = {https://doi.org/10.2307/421075},
doi = {10.2307/421075},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Franchella00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Hansson00,
author = {Sven Ove Hansson},
title = {Formalization in philosophy},
journal = {Bull. Symb. Log.},
volume = {6},
number = {2},
pages = {162--175},
year = {2000},
url = {https://doi.org/10.2307/421204},
doi = {10.2307/421204},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Hansson00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Hirschfeldt00,
author = {Denis R. Hirschfeldt},
title = {Degree spectra of relations on computable structures},
journal = {Bull. Symb. Log.},
volume = {6},
number = {2},
pages = {197--212},
year = {2000},
url = {https://doi.org/10.2307/421207},
doi = {10.2307/421207},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Hirschfeldt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Jin00,
author = {Renling Jin},
title = {Applications of nonstandard analysis in additive number theory},
journal = {Bull. Symb. Log.},
volume = {6},
number = {3},
pages = {331--341},
year = {2000},
url = {https://doi.org/10.2307/421059},
doi = {10.2307/421059},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Jin00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/KrajicekS00,
author = {Jan Kraj{\'{\i}}cek and
Thomas Scanlon},
title = {Combinatorics with definable sets: Euler characteristics and Grothendieck
rings},
journal = {Bull. Symb. Log.},
volume = {6},
number = {3},
pages = {311--330},
year = {2000},
url = {https://doi.org/10.2307/421058},
doi = {10.2307/421058},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/KrajicekS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Otto00,
author = {Martin Otto},
title = {An interpolation theorem},
journal = {Bull. Symb. Log.},
volume = {6},
number = {4},
pages = {447--462},
year = {2000},
url = {https://doi.org/10.2307/420966},
doi = {10.2307/420966},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Otto00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Schindler00,
author = {Ralf{-}Dieter Schindler},
title = {Proper forcing and remarkable cardinals},
journal = {Bull. Symb. Log.},
volume = {6},
number = {2},
pages = {176--184},
year = {2000},
url = {https://doi.org/10.2307/421205},
doi = {10.2307/421205},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Schindler00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Sinaceur00,
author = {Hourya Sinaceur},
title = {Address at the Princeton University bicentennial conference on problems
of mathematics (December 17-19, 1946), by Alfred Tarski},
journal = {Bull. Symb. Log.},
volume = {6},
number = {1},
pages = {1--44},
year = {2000},
url = {https://doi.org/10.2307/421074},
doi = {10.2307/421074},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Sinaceur00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 13:51 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
