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: Andrzej Indrzejczak
Polecane
Leon Knabit OSB – Aż po krańce ziemi. Rekolekcje wielkopostne
Podróż autobusem miejskim z Tyńca do centrum Krakowa przebiega na ogół bez niespodzianek. Aż tu nagle… Upalnego lata 2013 roku...
Brendan Brazier – Wege siła
Wegańska rewolucja w spojrzeniu na dietę sportowca!