Andrzej Indrzejczak – Rachunki sekwentowe w logice klasycznej
Prezentowana praca jest pomyślana jako wprowadzenie do niezwykle bogatej i złożonej problematyki związanej z teorią i zastosowaniami rachunków sekwentowych. Chcąc ...
Tag: logika klasyczna
Polecane
Andrzej Syska-Szafrański – Złodziej snów
Rzeczywistość bywa gorsza od najbardziej przerażającego koszmaru
Irena Turska – Spotkania ze sztuką tańca
Pisanie o tańcu jest niezmiernie trudnym a zarazem pasjonującym zadaniem. Taniec jako specyficzna czynność ruchowa człowieka o zasięgu uniwersalnym to...
Richard Sale – Przewodnik ksenofoba. Islandczycy
"Przewodnik ksenofoba" to żartobliwe, ale pouczające spojrzenie na charakter i dziwactwa różnych narodów. W tym tomie autorka pokazuje, które wyjątkowe...