00343nam a2200145Ia 450000500170000000800410001702000180005803500080007608200160008410000110010024500490011126000190016030000080017950000100018720260507132842.0260506s9999||||xx |||||||||||||| ||und||  a9783540744559  a546  a4.0151BKUC  aKucera 0aMathematical Foundations of Computer Science  bSpringerc2007  a764  a16510