მოდელირება წინადადებათა ლოგიკის ენაზე : მეთოდ. მითით. უნ-ტის სტუდ. / გიმზერ საათაშვილი, ნუგზარ სხირტლაძე, ლალი ტიბუა, გელა ჭანკვეტაძე ; [რედ.: ხიმურ რუხაია]. - თბილისი : თბილ. უნ-ტის გამ-ბა, 2000. - 44 გვ. : ნახ. ; 20 სმ.см.. - ბიბლიოგრ.: გვ. 41. - [2ლ.50თ.], 200 ც.[MFN: 13285]

რეზიუმე: შრომაში მოცემულია ის გზები, რითაც მათემატიკური ლოგიკა იჭრება მეცნიერების სხვადასხვა დარგში

UDC: 510.6(072)

• საათაშვილი, გიმზერ (ავტ.); 

თემატიკა:
- მათემატიკური ლოგიკა;

K 233.139/3 - წიგნთსაცავი
K 299.998/3 - წიგნთსაცავი
K 299.999/3 - წიგნთსაცავი
F 76.702/3 - საარქივო ფონდი
P 76/2000 - საარქივო ფონდი