Roman Suszko (logik)