TY - BOOK AU - Rosenbloom, Paul C TI - Elements of mathematical logic N1 - BobR Jo ER -