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: rachunki sekwentowe w logice klasycznej
Polecane
Nowe ebooki
Ezekiel Boone – Wyklucie
W głębi peruwiańskiej dżungli, miejsca pełnego tajemnic, czarna, szeleszcząca masa pochłania w całości amerykańskiego turystę. W odległym o tysiące kilometrów...
Read moreJacek Hugo-Bader – Biała gorączka
„Pojechałem do ZSRR kilka razy w 1991 i 1992 roku i więcej nie chciałem. Fantastyczni ludzie i obraza rozumu. Wielka...
Read moreRichard H. Wilkinson – The Complete Gods and Goddesses of Ancient Egypt
A comprehensive guide to the deities of ancient Egypt: their origins and their central role in the lives of the...
Read moreProjektowanie i obliczanie połączeń i węzłów konstrukcji stalowych. Tom 1
Przedmowa do drugiego wydania
Read more