Queiroz, Ruy, J G B De Oliveira, Anjolina, G De Gabbay, Dov M
Functional interpretation of logical deduction - Singapore World scientific 2012 - 266 - Advances in logic ; 00005 .
9789814360951
Logic and computation
Oliveira, Anjolina, G De
Gabbay, Dov M
510.6 QUE
Functional interpretation of logical deduction - Singapore World scientific 2012 - 266 - Advances in logic ; 00005 .
9789814360951
Logic and computation
Oliveira, Anjolina, G De
Gabbay, Dov M
510.6 QUE