Queiroz, Ruy J. G. B. de.. , <br/><br/>
The functional interpretation of logical deduction / 
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay. 
 - xxxii, 266 pages ;  24 cm. 
 - Advances in logic ;  v. 5 .
<br/><br/><label>ISBN: </label>9789814360951 9814360953 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic.<br/>Modality (Logic).
<br/><br/><label>LC Class. No.: </label>QA9   / .Q44 2012