@proceedings{hendricks2004firstorder,
  added-at = {2018-08-28T16:04:30.000+0200},
  bdsk-url-1 = {http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=0475&lng=deu&id=},
  biburl = {https://www.bibsonomy.org/bibtex/2ac9d99a724486b4b6eb695bf65134499/fneuhaus},
  date-added = {2018-08-27 17:01:32 +0200},
  date-modified = {2018-08-27 17:06:01 +0200},
  editor = {Hendricks, Vincent and Neuhaus, Fabian and Pedersen, Stig Andur and Scheffler, Uwe and Wansing, Heinrich},
  interhash = {a042e54f09c24e394e75c7f1bab0381b},
  intrahash = {ac9d99a724486b4b6eb695bf65134499},
  keywords = {myown},
  publisher = {Logos Verlag},
  series = {Logische Philosophie},
  timestamp = {2018-08-28T16:07:36.000+0200},
  title = {First-Order Logic Revisited},
  url = {http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=0475&lng=deu&id=},
  year = 2004
}