თსუ - კვლევითი უნივერსიტეტი : ინტერვიუ / გიორგი ღვედაშვილი // თსუ მეცნიერება : სამეცნიერო პოპულარული ჟურნალი / თსუ-ის საზოგადოებასთან ურთიერთობის დეპარტამენტი. - თბილისი, 2011. - ISSN 2233-3657. - დეკემბერი. - N1. - გვ.4-8. - პარალელური ტექსტ. ინგლ. ენ.[MFN: 128679]
ანოტაცია: კომპიუტერული ლოგიკის სპეციალისტების ქრისტოფ ბენცმიულერისა და ბრუნო ვოლცენლოგელის მიერ ღმერთის არსებობის გიოდელისეული ონტოლოგიური მტკიცებულებების ფორმალიზაცია სპეციალური კომპიუტერული პროგრამების მეშვეობით