. . . . . . . . . "Notes of Alonzo Church's \"Introduction to mathematical logic.\""@en .