Pracownia Logiki i Filozofii Informatyki