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 j