Monografia do logiki formalnej
Monografia do logiki formalnej
Dlaczego nie ma w języku polskim monografii do logiki formalnej obejmującej wszystkie możliwe rachunki logiczne typu rachunki modalne, wielowartościowe, intuicjonizm itd. Jedyną taką próbą była książka Małgorzaty Porębskiej i Wojciecha Suchonia "Elementarne wprowadzenie w logikę formalną" i na tym się skończyło. Mieliśmy świetnych logików jak Łukasiewicz, Tarski, Leśniewski a monografii brak. Wstyd.