000			00523pam a2200181a 44500
008			160408b2004 xxu||||| |||| 00| 0 eng d
020			_a1402029373
082			_a511.3 _bP846L
100			_aPosthoff,Christian
245	1		_aLOGIC FUNCTIONS AND EQUATIONS _cBINARY MODELS FOR COMPUTER SCIENCE
260			_a _bSpringer, Aa Dordrecht _c2004
300			_axxix,392
650			_aLogic, Symbolic And Mathematical
650			_aEquations, Theory Of
700			_aSteinbach,Bernd
964			_gCIRC
997			_aA152829 C
999			_c352975 _d352975