Witold Marciszewski, Wzajemne oddziaƂywania informatyki i logiki , Filozofia Nauki, 1997, 5, 4, s. 115-120