Computability and decidability;: An introduction for students of computer science (Lecture notes in economics and mathematical systems)