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: Andrzej Indrzejczak
Polecane
Paweł Sitkiewicz – Miki i myszy. Walt Disney i film rysunkowy w przedwojennej Polsce
Walt Disney dla animacji jest tym, kim Freud dla psychoanalizy, św. Paweł dla chrześcijaństwa, a Lenin dla komunizmu. Można go...
Stephen Fry – Stephen Fry’s Victorian Secrets
On the surface, the Victorian age is one of propriety, industry, prudishness and piety. But scratch the surface and you’ll...