International workshop on topologicaol methods in logic VI : July 2-6, 2018, Tbilisi, Georgia. - Tbilisi, 2018. - 35 p. Includes index. Subjects--Index Terms: ლოგიკა ტოპოლოგია ტოპოლოგიური მეთოდების გამოყენება ლოგიკაში კონფერენციები Universal Decimal Class. No.: 515.1 : 16](063)