000 00793nam a2200277Ia 4500
003 OSt
005 20220912151734.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a47166
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B)92:(R1), N2
100 _aFarinas Del Cerro L Ed.
245 0 _aIntensional logics for programming
260 _aOxford
_bClarendon Press
_c1992
300 _a219p.
_ccm.
490 _aStudies in logic and computation; 1
650 _a Logic programming
650 _aComputer science
700 _a Penttonen M Ed.
942 _hD65,8(B)92:(R1), N2
_cTEXL
_2CC
999 _c74257
_d74257