Marek Nowak (logik)