انتشارات Wolters Noordhoff Publishing
Algorithms and recursive functions
Anatolii Ivanovič Mal’cev, 1970
Algorithms and recursive functions
A. I. Malcev, 1970
Introduction to Metamathematics
Stephen Cole Kleene, 1971
