Title: Paul rosenbloom - The elements of mathematical logic