000			00483pam a2200169a 44500
008			160408b1981 xxu||||| |||| 00| 0 eng d
082			_a519.4 _bB389m
100			_aBackman, Frank S.
245	1		_aMATHEMATICAL FOUNDATIONS OF PROGRAMMING
260			_aMassachusetts _bAddison-Wesley _c1981
300			_axviii,443
440			_aSystems Programming Series _v
650			_aLogic, Symbolic And Mathematical
650			_aFormal Languages
964			_gCIRC
997			_aA84892 C
999			_c294164 _d294164