000			00417nmm a2200145Ia 4500
008			230202s9999||||xx |||||||||||||||||und||
020			_a9783540469636
100			_aPer Martin-Löf, Grigori Mints
245		0	_aCOLOG-88
250			_a1990
260			_bSpringer Berlin Heidelberg _c1990
440			_aLecture Notes in Computer Science
650			_aComputer Science
856			_uhttps://doi.org/10.1007/3-540-52335-9
999			_c26770 _d26770