Książki > Wydawnictwa naukowe i popularno-naukowe Książki > Nauki przyrodnicze. Matematyka. Geografia > Matematyka Książki > Nauki społeczne, humanistyczne, ekonomiczne > Filozofia > Logika. Retoryka
|
|
| | 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. | | Tytuł: | Rachunki sekwentowe w logistyce klasycznej | | Oprawa: | twarda | | Wymiary: | 22 [cm] | | Liczba stron: | 300 | | Rok wydania: | 2013 | | Miejsce: | Łódź | |
| | | Nr katalogowy (ISBN): | 978[zasłonięte][zasłonięte]52581 978[zasłonięte][zasłonięte]52581 | | Data wydania: | 2[zasłonięte]013-06 |
|
| | | | Waga produktu: | 670 g. | |
| |
Książka - dokument piśmienniczy myśli ludzkiej, raczej obszerny, w postaci publikacji wielostronicowej o określonej liczbie stron, o charakterze trwałym. Słowo o bardzo wielu pokrewnych znaczeniach. Dzisiejsza postać książki wywodzi się od kodeksu, czyli kartek połączonych grzbietem, które wraz z rozwojem pergaminu zastąpiły poprzednią formę dokumentu piśmienniczego, czyli zwój. Więcej informacji na: http://pl.wikipedia.org/wiki/Ksi%C4%85%C5%BCka |