000 00514pam a2200193a 44500
003 OSt
008 160408bc1990 xxu||||| |||| 00| 0 eng d
020 _a0273031864
040 _cIIT Kanpur
041 _aeng
082 _a001.535
_bT857t
100 _aTurner, Raymond
245 1 _aTruth and modality for knowledge representation
_cRaymond Turner
260 _aLondon
_bPitman Publishing
_cc1990
300 _av, 122p
650 _aKnowledge, Theory Of
650 _aArtificial Intelligence
942 _cBK
999 _c319019
_d319019