Elements of mathematical logic - Rosenbloom Paul, C. (1950)
English