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
„Czyim to jestem wymysłem?” Ja – niedokończony projekt. Poezje
Wyspiański nie był poetą i równocześnie był poetą we wszystkim, co robił. Gdy tworzył swoje dramaty i projektował dla nich...
Colleen Oakes – Shadow
Shadow (Wendy Darling #3)