@book{204948,
	author = {კურტანიძე, ლია and რუხაია, მიხეილ and  საქართველოს საპატრიარქოს წმიდა ანდრია პირველწოდებულის სახელობის ქართული უნივერსიტეტი ; },
	title = {თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში :},
	year = {2018.},
	address = {თბილისი,}
}