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...