TY - BOOK AU - Johnson Donovan A AU - Glenn William H TI - Sets,sentences,and operations U1 - 511.32 PY - 1964/// CY - London PB - John Murray KW - Mathematical logic KW - Set theory ER -