1
by Mostowski, Andrzej
Published 1979
North-Holland Pub. Co.
Table of Contents: ...Chapter 17. A lemma concerning recursive functions and its applicationsChapter 18. A formula...