კომპიუტერული მათემატიკა : ლოგიკური და სიმრავლურ-ტოპოლოგიური კონსტრუქციები : სახელმძღვანელო /
ირაკლი დოჭვირი ; საქართველოს ტექნიკური უნივერსიტეტი, ინფორმატიკის და მართვის სისტემების ფაკულტეტი.
- თბილისი : ტექნიკური უნივერსიტეტი, 2008.
- 143 გვ. : ნახ.