DBLP Record 'journals/rml/FontJP01'

BibTeX

@article{DBLP:journals/rml/FontJP01,
  author    = {Josep Maria Font and
               Ramon Jansana and
               Don Pigozzi},
  title     = {Fully Adequate Gentzen Systems and the Deduction Theorem},
  journal   = {Reports on Mathematical Logic},
  volume    = {35},
  year      = {2001},
  pages     = {115-165},
  ee        = {http://www.iphils.uj.edu.pl/rml/rml-35/a-pig-35.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}