000			00402nam a2200133Ia 4500
008			220314s9999||||xx |||||||||||||| ||und||
080			_a511.3
100			_aManaster, Alfred B
245		0	_aCompleteness, compactness and undecidability: An introduction to mathematical logic
260			_bPrentice Hall International _c1978
300			_a154
650			_aMathematical (Symbolic) logic
942			_cBOOK
999			_c16482 _d16482