TY  - BOOK
AU  - Queiroz, Ruy, J G B De
AU  - Oliveira, Anjolina, G De
AU  - Gabbay, Dov M
TI  - Functional interpretation of logical deduction
SN  - 9789814360951
CY  - Singapore
KW  - Logic and computation
KW  - Oliveira, Anjolina, G De
KW  - Gabbay, Dov M
ER  -