The functional interpretation of logical deduction [electronic resource] /
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay.
- Singapore : World Scientific, c2012.
- xxxii, 266 p.
- Advances in logic ; v. 5 .
- Advances in logic ; v. 5. .
Includes bibliographical references (p. 253-264) and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.