@article{701816,
      author = {Queiroz, Ruy J. G. B. de. and Oliveira, Anjolina G. de.  and Gabbay, Dov M.,},
      url = {http://library.usi.edu/record/701816},
      title = {The functional interpretation of logical deduction  [electronic resource] /},
      publisher = {World Scientific,},
      recid = {701816},
      pages = {xxxii, 266 p.},
      address = {Singapore :},
      year = {2012},
}