akademickich prowadzony wspólnie z Pawłem Stacewiczem oraz
Publikacje książkowe Monografie Podstawy logicznej teorii przekonań, PWN, 1972. Metody analizy tekstu naukowego, PWN, 1977, 1981. Logika z retorycznego punktu widzenia, UW, 1991. Logic from a Rhetorical Point of View (tytuł podobny do pozycji 3, treść nowa). Walter de Gryuter (Berlin etc.) 1994, s. 312 (B5). Rozprawa o tym, co logika uprawiana w łączności z informatyką wnosi do teorii komunikacji. Mechanization of Reasoning in a Historical Perspective (wspólnie z Romanem Murawskim). Rodopi (Amsterdam etc.) 1995, s. 267 (B5). Rozprawa o drodze, jaką przeszła logika od średniowiecznych projektów formalizacji do współczesnej algebraizacji i komputeryzacji. Umysł – komputer – świat. O zagadce umysłu z informatycznego punktu widzenia (wspólnie z Pawłem Stacewiczem), Exit – Akademicka Oficyna Wydawnicza, 2011. Jest to próba sformułowania naukowych podstaw stanowiska określanego przez autorów mianem światopoglądu informatycznego.
Podręczniki Zarys logiki dla bibliotekoznawców, cz. 2 (cz. 1 napisana przez Barbarę Stanosz), Wyd. UW, 1972. Sztuka rozumowania w świetle logiki, Aleph, 1994.