Kazimierz Trzęsicki, Wkład logików polskich w światową informatykę, Filozofia Nauki, 2006, 14, 3, s. 5-19