000 00464nam a2200157Ia 4500
008 211115s9999 xx 000 0 und d
020 _a1-85032-127-2
041 _aeng
082 _aB
_bN5
100 _aRichardson, Daniel .
245 0 _aLogic language informalism /
_cby Daniel Richardson.
260 _aLondon WC1V7AA :
_bInternational Thomson Computer Press ,
_c1995
300 _aviii, 246p :
650 _aMathematics- language formalism
942 _cTB
999 _c43501
_d43501