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 ...
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 ...
Przejmująca opowieść o trudnym uczuciu, które połączyło dwoje młodych ludzi: dziewczynę z zespołem Aspergera i przewlekle chorego chłopaka, który spróbował...
W zapobieganiu i leczeniu dolegliwości pleców i wad postawy osiągnięto już dzięki jodze wspaniałe sukcesy. 55 pozycji krokodyla było inspiracją...
Autor omawia i przybliża utwory pisarzy amerykańskich XX i XXI wieku - dzieła włączone do kanonu twórczości literackiej. Zachęca do...
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 zachować rozsądne rozmiary książki siłą rzeczy dokonano w niej wyboru zagadnień, które w przekonaniu autora są najważniejsze czy po postu interesujące. Nacisk został położony na metodologiczne aspekty RS, toteż nie jest to praca z zakresu teorii dowodu, w której RS jest narzędziem do prezentacji wyników tej teorii.