Research Information System
in: IX. Mantık Çalıştayı, Vedat Kamer, Editor, Mantık Derneği Yayınları, İstanbul, pp.219-247, 2019