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
Nowe ebooki
Robert Service – Trotsky: A Biography
Revolutionary practitioner, theorist, factional chief, sparkling writer, ‘ladies’ man’ (e.g., his affair with Frieda Kahlo), icon of the Revolution, anti-Jewish...
Read moreLeonard Wach, Irena Liniewicz – Jak szkolić własnego psa
Ellen Kharade – Patchworkowe torebki
Która kobieta nie chciałaby mieć szafy pełnej torebek: szykownych i niezobowiązujących, wieczorowych i wizytowych, na prezenty i na zakupy, na...
Read moreStan Spielberg – Socjaldemokratyczny park
Dwa długie wywiady-rzeki przeprowadzone przez, publikującego pod pseudonimem Stan Spielberg, młodego polskiego dziennikarza ze swoimi rówieśnikami z liberalno-anarchistycznych kręgów szwedzkiej...
Read more