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
Kevin Zraly – Wino. Pełny wykład.
Susan Stoker – Defending Morgan
Protection leads to passion in New York Times bestselling author Susan Stoker’s dangerously hot Mountain Mercenaries adventure.
Read moreMarta Smagacz-Poziemska – Młody Kraków 2014-2015
Charles Perrault – Tomcio Paluszek/ Tom Thumb
Bajkowa Akademia Angielskiego to kolekcja pięknie ilustrowanych książek, zawierających bajki w dwóch wersjach językowych - polskiej i angielskiej. Dzięki czytaniu...
Read more