TY  - BOOK
AU  - Farinas Del Cerro L Ed.
AU  -  Penttonen M Ed.
TI  - Intensional logics for programming
T2  - Studies in logic and computation; 1
U1  - D65,8(B)92:(R1), N2 
PY  - 1992///
CY  - Oxford
PB  - Clarendon Press        
KW  -  Logic programming
KW  - Computer science
ER  -