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 ...
Miniprzewodnik Wydawnictwa Bezdroża opisujący najważniejsze atrakcje turystyczne miasta bądź regionu. Poznasz historię miejsca, przeczytasz opisy atrakcji turystycznych i (najważniejsze dla...
Mało kto wie, że Doug Casey, wybitny ekonomista wolnorynkowy, guru od inwestycji w złoto, srebro i inne metale szlachetne, jest...
Z tablicami Ouija wiąże się wiele tajemnic, ale ludzie zawsze pragnęli kontaktować się z ich pomocą ze światem duchów. Ta...
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.