TY  - BOOK
AU  - DE OLIVEIRA ANJOLINA G ET AL
TI  - FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE
SN  - 9789814360968
KW  - THEORETICAL COMPUTER SCIENCE
UR  - http://www.worldscientific.com/worldscibooks/10.1142/8215#t=toc
ER  -