Wydanie 2. — Warszawa: Semper, 2002. — 162 s. — ISBN 978-83-7507-097-2.
Podręcznik akademicki.Książka stanowi nowoczesny podręcznik semiotyki logicznej z elementami logiki formalnej. Szczególny walor dydaktyczny ma rozbudowany system przykładów, liczne ilustracje i diagramy, a także szczegółowy indeks rzeczowy.