PHILOS 512 - METHODS OF LOGIC