BibTeX record series/hhl/WirthSBA09

download as .bib file

@incollection{DBLP:series/hhl/WirthSBA09,
  author    = {Claus{-}Peter Wirth and
               J{\"{o}}rg H. Siekmann and
               Christoph Benzm{\"{u}}ller and
               Serge Autexier},
  title     = {Jacques Herbrand: Life, Logic, and Automated Deduction},
  booktitle = {Logic from Russell to Church},
  pages     = {195--254},
  year      = {2009},
  crossref  = {DBLP:series/hhl/5},
  url       = {https://doi.org/10.1016/S1874-5857(09)70009-3},
  doi       = {10.1016/S1874-5857(09)70009-3},
  timestamp = {Wed, 25 Sep 2019 17:40:57 +0200},
  biburl    = {https://dblp.org/rec/bib/series/hhl/WirthSBA09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/hhl/5,
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  publisher = {Elsevier},
  year      = {2009},
  isbn      = {978-0-444-51620-6},
  timestamp = {Mon, 03 Apr 2017 09:18:52 +0200},
  biburl    = {https://dblp.org/rec/bib/series/hhl/5},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics