Are the foundations of computer science logic-dependent? (bibtex)
by Walter Carnielli, Francisco Dória
Reference:
Are the foundations of computer science logic-dependent? (Walter Carnielli, Francisco Dória), Chapter in Dialogues, Logics and Other Strange Things--Essays in Honour of Shahid Rahman (CDédric Dégremont, Laurent Keiff, Helge RŸckert, eds.), College Publications, 2008.
Bibtex Entry:
@InCollection{Carnielli2008b,
  Title                    = {Are the foundations of computer science logic-dependent?},
  Author                   = {Carnielli, Walter and D{\'{o}}ria, Francisco},
  Booktitle                = {{Dialogues, Logics and Other Strange Things--Essays in Honour of Shahid Rahman}},
  Publisher                = {College Publications},
  Year                     = {2008},

  Address                  = {London},
  Editor                   = {CD{\'e}dric D{\'e}gremont and Laurent Keiff and Helge R{\^A}{\"Y}ckert},
  Pages                    = {87-107},

  Affiliation              = {icr},
  ISBN                     = {978-1904987130},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser