Tag: logika klasyczna
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 ...
Polecane
Nowe ebooki
William Mougayar – Blockchain w biznesie. Możliwości i zastosowania łańcucha bloków
Henryk Jasiak – Współczesny Herkules
John Green – Papierowe Miasta
Alan Coleger – Jak zrozumieć nasze dziecko?
Książka szczegółowo opisuje: 1. To, w jaki sposób dzieci spostrzegają otaczający ich świat. 2. Sprawdzone sposoby na to, aby łatwiej...
Read more