Opis: Rachunki sekwentowe w logistyce klasycznej - Indrzejczak Andrzej

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: Rachunki sekwentowe w logistyce klasycznej - Indrzejczak Andrzej

Tytuł: Rachunki sekwentowe w logistyce klasycznej
Autor: Indrzejczak Andrzej
Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
ISBN: 9788375258127
Języki: polski
Rok wydania: 2013
Ilość stron: 300
Format: 17.0x24.0cm
Oprawa: Twarda
Waga: 0.67 kg

Recenzje: Rachunki sekwentowe w logistyce klasycznej - Indrzejczak Andrzej