000			00330nam a2200133Ia 4500
005			20240713144332.0
008			240712s9999 xx 000 0 und d
041			_aeng
100			_aJonathan, Ginzburg
245			_aLogic language and Computatio
260			_aCalifornia, C.S.L.I Pub., _c1993
300			_a383
440			_vvol.24.
999			_c19882 _d19882