Queiroz, Ruy J. G. B. de.

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.






Logic.
Modality (Logic)


Electronic books.

BC71 / .Q45 2012eb