TY - BOOK AU - Christian R R TI - Introduction to logic and sets U1 - 164 PY - 1958/// CY - London PB - Ginn & Co. KW - Mathematical logic KW - Symbolic logic ER -