Logika a logiky Systém klasické výrokové logiky,

Kniha je úvodem do alternativních systémů výrokové logiky. Vychází ze standardní, klasické výrokové logiky a probírá některá její možná rozšíření a alternativy. Tak se dopracovává k systémům intuicionistických, vícehodnotových, relevančních, modálních a jiných logik, přičemž nejpodrobněji je zpracován systém logik modálních. Kniha je určena zejména studentům matematiky, informatiky, filosofie a teoretické lingvistiky, jakož i všem dalším odborným zájemcům.