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
Wiesław Skórzyński – Astrofotografia
Książka ma służyć pomocą tym wszystkim, którzy podziwiają nocne niebo i chcą zobaczyć więcej, niż są w stanie dostrzec gołym...
Wołk Krzysztof – Rzeczywistość wirtualna (VR) dla każdego – Aframe i HTML 5
Do rzeczywistości wirtualnej jedni mają bliżej, inni dalej, tak jak do Twin Peaks. Ale nie o to chodzi, czy agent...
Ligia Tuszyńska – Diagnoza stanu edukacji środowiskowej społeczności lokalnych w wybranych regionach Polski
Publikacja prezentuje wyniki badań stanu świadomości społeczeństwa polskiego, efektów współpracy szkół i samorządów w dziedzinie edukacji środowiskowej społeczności lokalnych na...