Moderne logica by Beth & Lemmon