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
Caputa Czesław – Domowe nalewki i likiery. 40 sprawdzonych receptur
„Domowe nalewki i likiery. 40 sprawdzonych receptur" to bogato ilustrowany ebook ze sprawdzonymi przepisami na tradycyjne alkohole, które można przygotować...
Wojciech Albiński – Niebezpieczne sny
Paul zostaje dyskretnie usunięty ze szkoły i wyjeżdża na naukę do innego kraju, gdy okazuje się, że jest "kolorowy". Martin,...