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.
Informacje o ebook epub od dnia 02.09.2018 został wyświetlony 258 razy! Odwiedzający najczęściej szukali formatu pdf i mobi do pobrania.
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
Aby pobierać pliki zarejestruj się!
Rejestracja jest darmowa i bardzo szybka! Kliknij tutaj aby założyć konto.
Trwa to tylko 15 sekund!.