TY  - BOOK
AU  - De Oliveira Anjolina G Et Al
TI  - Functional Interpretation of Logical Deduction, The
SN  - 9789814360968
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc
ER  -