Logika dla informatyków/Logika w informatyce