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
Karina Schaapman – Mysi domek. Sam i Julia w porcie
Sam i Julia odwiedzają w porcie dziadka marynarza. Ile rzeczy można tam zobaczyć i zrobić! W dodatku właśnie trwa wyścig...
Stefanie Wilder-Taylor – Terror ekożelków. Szczerze o urokach (i udrękach) macierzyństwa
Dla każdej mamy, która szuka własnego sposobu na wychowywanie dzieci.
James Patterson, Michael Ledwidge – Alert
Every New Yorker's worst nightmare is about to become a reality. New York has seen more than its fair share...
