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 zachować rozsądne rozmiary książki siłą rzeczy dokonano w niej wyboru zagadnień, które w przekonaniu autora są najważniejsze czy po postu interesujące. Nacisk został położony na metodologiczne aspekty RS, toteż nie jest to praca z zakresu teorii dowodu, w której RS jest narzędziem do prezentacji wyników tej teorii.
Szczegóły książki:
- Data wydania
- 2013 (data przybliżona)
- ISBN
- 9788375258127
- Liczba stron
- 300
- Słowa kluczowe
- Logika, logika klasyczna, rachunek sekwentów, rachunki sekwentowe w logice klasycznej
- Język
- Polski
