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},
  editor    = {Dov M. Gabbay and
               John Woods},
  title     = {Jacques Herbrand: Life, Logic, and Automated Deduction},
  booktitle = {Logic from Russell to Church},
  series    = {Handbook of the History of Logic},
  volume    = {5},
  pages     = {195--254},
  publisher = {Elsevier},
  year      = {2009},
  url       = {https://doi.org/10.1016/S1874-5857(09)70009-3},
  doi       = {10.1016/S1874-5857(09)70009-3},
  timestamp = {Sat, 09 Apr 2022 12:19:57 +0200},
  biburl    = {https://dblp.org/rec/series/hhl/WirthSBA09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics