The functional interpretation of logical deduction
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
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