TY - BOOK AU - ill TI - The elements of formal logic AV - BS101.H75 CY - LONDON ER -