Please use this identifier to cite or link to this item: https://dspace.nplg.gov.ge/handle/1234/276007
Title: თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში
Authors: კურტანიძე, ლია
Keywords: თეორემათა მტკიცების მეთოდები
ლოგიკა
Issue Date: 2018
Publisher: თბილისი
Owner: საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა
Appears in Collections:ეროვნული ბიბლიოთეკის დისერტაციებისა და ავტორეფერატების ფონდი

Files in This Item:
File Description SizeFormat 
Disertacia.pdf614.24 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.