Lullus

Lullus Raimundus , asi 1235 - 1315, špan. myslitel; ve svém díle Ars magna (Velké umění) anticipuje teorii log. kalkulů i praxi algoritmického řešení log. úloh.