Stephen Cole Kleene, Introduction to Metamathematics (1952) 1E

Selected proofs

• §4 Theorem A (Cantor-Schrödinger-Bernstein)