The Functional Interpretation of Logical Deduction (bibtex)
by R. de Queiroz, A.G. de Oliveira, D.M. Gabbay
Reference:
The Functional Interpretation of Logical Deduction (R. de Queiroz, A.G. de Oliveira, D.M. Gabbay), Imperial College Press, World Scientific, to appear, 2011.
Bibtex Entry:
@Misc{Queiroz2011,
  Title                    = {The Functional Interpretation of Logical Deduction},

  Author                   = {de Queiroz, R. and de Oliveira, A.G. and Gabbay, D.M.},
  Year                     = {2011},

  Publisher                = {Imperial College Press, World Scientific, to appear},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser