Writing systems. A linguistic Approach

Theory of Recursive Functions and Effective Computability