Analysis and synthesis of logics (bibtex)
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Reference:
Analysis and synthesis of logics (Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas), Springer, volume 35, 2008.
Bibtex Entry:
@Book{Carnielli2008c,
  Title                    = {Analysis and synthesis of logics},
  Author                   = {Carnielli, Walter and Coniglio, Marcelo and Gabbay, Dov M. and Gouveia, Paula and Sernadas, Cristina},
  Publisher                = {Springer},
  Year                     = {2008},

  Address                  = {Dordrecht},
  Series                   = {Applied Logic Series},
  Volume                   = {35},

  Affiliation              = {icr},
  ISBN                     = {978-1-4020-6781-5},
  Mrnumber                 = {MR2378708},
  Pages                    = {xvi+600},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser