Formal learning theory is one of several mathematical approaches to the study of intelligent adaptation to the environment. The analysis developed in this book is based on a number-theoretical approach to learning and uses the tools of recursive function theory to understand how learners come to an accurate view of reality. This revised and expanded edition provides a comprehensive introduction to the concepts and techniques of the theory. Exercises throughout the text provide experience in the use of computational arguments to prove facts about learning.