Moderne logica door Beth & Lemmon