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: rachunek sekwentów
Polecane
Wojciech Sumliński – Komisarz. Pomiędzy niebem a piekłem
Chciał być księdzem – został oficerem Centralnego Biura Śledczego. Przez kilkanaście lat policyjnej służby, współpracując z Interpolem, poznał świat mafii...
Andrzej Perepeczko – U-Booty II wojny światowej
Dla III Rzeszy stanowiły najważniejszą część Kriegsmarine. Siały grozę i postrach na morzach i oceanach. Cichy i niewidoczny wróg brytyjskich...
Susan O’Connor – Monogramy. Sztuka haftowania liter
Mimo zmieniającej się mody i stylów, monogramy pozostają symbolem elegancji i wyrafinowania, subtelnym znakiem własności. Prześledź historię monogramów oraz drogę,...