Paul rosenbloom - The elements of mathematical logic