კოლინიაციებთან და ჰარმონიულ ასახვებთან დაკავშირებული მოდულების წრფივი ასახვები : ავტორეფ...ფიზ.-მათ. მეცნ. კანდ. 01.01.06. - თბ., 1999. - 12გვ.. - ზესათ.: თსუ. - [20თ.][MFN: 471]

UDC: 510.6

FA 3.538 - საარქივო ფონდი

G-რეზოლუციაზე დაფუძნებული პროგრამირება სამმნიშვნელობიან ლოგიკაში : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 05.13.11. - თბ., 1997. - 21ფ.. - ზესათ.: საქ. მეცნ. აკად.. - [20თ.][MFN: 1501]

UDC: 510.6

FA 2.909 - საარქივო ფონდი
Kა 228.050/3 - წიგნთსაცავი

ერთი სახის ამორჩევისოპერატორიანი ერთგვაროვანი ფორმალური მათემატიკური თეორიის შესახებ : სადისერ. მაც. ფიზ. მათემ. მეცნ. კანდ. 01.01 06. - თბ., 1993. - 14ფ.. - ზესათ.: თსუ. - 80ც.[MFN: 2564]

UDC: 510.22 + 510.65 + 510.5

Kა 219.936/3 - წიგნთსაცავი
Fა 68.979/3 - საარქივო ფონდი
PS 31/1993 - საარქივო ფონდი

პარაბოლური ფორმები და რიცხვთა წარმოდგენა 8 საფეხურის დადებითად განსაზღვრული კვადრატული ფორმებით : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 01.01.06. - თბ. : უნივერსალი, 2001. - 10გვ.. - ზესათ.: თსუ. - 50ც.[MFN: 3387]

UDC: 511.2 + 510.6 + 512

FA 204 - საარქივო ფონდი
PS 196/2001 - საარქივო ფონდი

სიმრავლეთა თეორიისა და მათემატიკური ლოგიკის ელემენტების გამოყენება დაწყებით მათემატიკაში და მისი კომპიუტერიზებული სწავლება : ავტორეფ... პედ. მეცნ. აკად. 13.00.02 / თბილ. სახ. პედ. უნ-ტი. - თბ., 2002. - 30გვ.. - ტექსტი ქართ. და რუს. ენ.[MFN: 4006]

UDC: 510.22 + 164

KA 732 - წიგნთსაცავი
FA 820 - საარქივო ფონდი
PS 400/2002 - საარქივო ფონდი

Полные полугруппы бинарных отношений : Автореф...докт.физ.-мат.наук 01.01.06. / ТГУ. - Тб., 2003. - 31с.[MFN: 5177]

UDC: 510.6 + 512.53 + 511.342.2

TA 312 - საარქივო ფონდი
KA 1125 - წიგნთსაცავი

E1(X, 5)კლასის ნახევარმესერებით განსაზღვრული ბინარულ მიმართებათა სრული ნახევარჯგუფები : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 01.01.06 / თსუ. - თბ., 2003. - 24გვ.[MFN: 5552]

UDC: 512.53 + 510.6

KA 1.243 - წიგნთსაცავი
FA 1.377 - საარქივო ფონდი

არამკაფიო ხატის აგების ალბათურ-შესაძლებლობითი (კომბინირებული) მეთოდი : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 01.01.08 / თსუ. - თბ., 2004. - 26გვ.. - ტექსტი ქართ. და ინგლ. ენ.[MFN: 7930]

UDC: 519.1 + 510.22

KA 1.880 - წიგნთსაცავი
FA 2.017 - საარქივო ფონდი
PS 205/2004 - საარქივო ფონდი

Системы редукции форм и редукции сокращенных форм и -термов : Автореф... канд. физ.-мат. наук 01.01.06 / Хасидашвили Зураб Отарович ; Науч. рук. Пхакадзе Ш.С. ; АН ССР Молдовы. Ин-т мат. с вычислительным центром. - Кишинев, 1991. - 15 с.. - Библиогр.: с. 14[MFN: 11003]

UDC: 510.6 + 511

• Пхакадзе, Ш.С. (Науч. рук.); 
• АН ССР Молдовы. Ин-т мат. с вычислительным центром; 

TA 10.540 - საარქივო ფონდი

თეორემათა ავტომატური მტკიცების ზოგიერთი მეთოდი : ავტორეფ... ფიზ.-მათ. მეცნ. კანდ. 01.01.06 / თსუ. - თბ., 2005. - 25გვ.. - ტექსტი ქართ. და ინგლ. ენ.[MFN: 11858]

UDC: 510.6 + 51

KA 2.511 - წიგნთსაცავი
FA 4.232 - საარქივო ფონდი
PS 306/2005 - საარქივო ფონდი