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
100 kontroli z archiwum NIK
100 kontroli z archiwum NIK, red. Dorota Bernhardt-Kowalska, Piotr Chojnacki, Ryszard Szyc, Najwyższa Izba Kontroli, Instytut Pamięci Narodowej, Warszawa 2018,...
Sadhguru – Inner Engineering: A Yogi’s Guide to Joy
Visionary, mystic, and yogi, Sadhguru presents the classical science of yoga for Western readers. The practice of hatha yoga, as...