@book{12439,
	author = {Loeckx, J.},
	title = {Computability and decidability; an introduction for students of computer science},
	publisher = {Springer-Verlag,},
	year = {1972},
	series = {Lecture notes in Economics and Mathematical systems, 68},
	address = {Berlin:}
}