Kategorie: Matematyka , Logika. Retoryka , Wydawnictwa naukowe i popularno-naukowe

Isbn: 9788375258127

Ean: 9788375258127

Liczba stron: 300

Format: 17.0x24.0cm

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.

Oprawa: twarda

Wydawca: Wydawnictwo Uniwersytetu Łódzkiego