Kniha představuje klasickou výrokovou logiku a její rozšíření, včetně alternativních logických systémů. Po úvodu do standardní výrokové logiky se zaměřuje na intuicionistické, vícehodnotové, relevanční, modální a další logiky, s důrazem na detailní rozbor systémů modálních logik. Kniha je vhodná pro studenty matematiky, informatiky, filosofie, teoretické lingvistiky a další odborníky se zájmem o danou problematiku.