Rachunki sekwentowe w logistyce klasycznej
Dodaj do schowkaSpis treści
O książce
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.
Dane szczegółowe
Wydawca:
Wydawnictwo Uniwersytetu Łódzkiego
Data wydania:
2013
Format:
17.0x24.0cm
Ilość stron:
300
Języki:
polski
Oprawa:
Twarda
Spis treści
Inne tego autora
Recenzje czytelników "Rachunki sekwentowe w logistyce klasycznej"