000			00334nam a2200157Ia 4500
008			190201s9999 xx 000 0 und d
020			_a856264318
082			_a3
082			_bPIN
100			_a"Pinkava, Vaclav"
245		0	_aIntroduction to logic Fo
260			_aUSA
260			_bCombridge
260			_c1988
300			_a132
999			_c32862 _d32862