● 
Úvod do logiky pre informatikov je v e-shopu PantaRhei v kategorii iQ testy, logika za cenu 19,90 €. Všechny iQ testy, logika koupíte online v internetovém obchodě PantaRhei, kde máme další zboží od značky PhDr. Milan Štefanko - IRIS.
Kniha je venovaná prezentácii moderných základov logiky pre potreby informatikov. V knihe sa prezentujú nielen základy klasickej logiky ale aj základné pojmy modálnej logiky s dôrazom na kripkeovskú, sémantickú interpretáciu pomocou susedných svetov.