Serie: Outstanding Contributions to Logic