@13 Věci okolo rezoluce jsou spíše součástí formální logiky. Základy programování z jiných oborů zcela určitě opravdu nestačí. Nicméně pro zájemce existuje nepřeberné množství různých "Úvodů do logiky" pro studenty jiných oborů (od informatiků přes právníky po filozofy).
