ケーニヒの補題
pdf
Kőnig, D. (1936). Theorie der Endlichen und Unendlichen Graphen: Kombinatorische Topologie der Streckenkomplexe. Leipzig: Akad. Verlag
Levy, A. (1979). Basic Set Theory. Springer Reprint Dover 2002, ISBN 0486420795.
Rogers, H. (1967). Theory of Recursive Functions and Effective Computability
Simpson, S. (1999). Subsystems of Second Order Arithmetic. Springer
Soare, R. (1987). Recursively Enumerable Sets and Degrees. Springer
Truss, J. (1976). “Some cases of König's lemma”. In Marek, Srebrny, and Zarach. Set theory and hierarchy theory. Lecture notes in mathematics. 537. pp. 273–284