N . Maliern Compendium Logics , Edwjd