Roman Marcin Olejnik OFM

"Logika formalna czyli wynikanie i wnioskowanie"

Podręcznik ten napisany jest z myślą o osobach, które zamierzają przyswoić sobie podstawowe wiadomości z dziedziny zwanej logiką formalną. Nie obejmuje on całego zakresu logiki formalnej, lecz jest kontynuacją części pierwszej: języka rachunku zdań, przedstawionego w osobnym tomie serii: LOGIKA. Elementarnemu wykładowi z logiki towarzyszą komentarze.