00582nam a2200145Ia 4500008004100000082002100041100002200062245008800084260003600172300001300208490006000221942001200281952012600293999001700419260313b        |||||||| |||| 00| 0 eng d  a518.542bL825.CD  aLoeckx, J.918546  aComputability and decidability; an introduction for students of computer scienceb/  aBerlin:bSpringer-Verlag,c1972  avi, 76p.  aLecture notes in Economics and Mathematical systems, 68  2ddccBK  0010406518_542000000000000_L825_CD70915128aISIbISId1998-09-21l0o518.542 L825.CDpDP8304r2019-02-14 00:00:00yBK  c12439d12439