Cardinality with Applications to Computability Lecture 33 Section 7.5 Wed, Apr 12, 2006.
Cardinality with Applications to Computability
Data Structures and Functional Programming Computability