@misc{_Logical,
 howpublished={online},
 publisher={International Federation of Computational Logic},
 language={eng},
 type={strona naukowa},
 title={Logical Methods in Computer Science},
 keywords={teoria informatyki, automatyczne wnioskowanie, automatyczne dowodzenie twierdzeń, sztuczna inteligencja, logika w informatyce, programowanie logiczne},
}