სრული კატალოგი [16997]
დასახელება
თეორემათა მტკიცების მეთოდები სქემებსა და უსაგნო ლოგიკაში
შტრიხკოდი
dis106
კლასიფიკატორი
004
მდებარეობა
ავტორი
კურტანიძე, ლია
კატეგორია
ნომერი
14257
ქვესათაური
სადისერტაციო ნაშრომი
ნუსხაზე დაბრუნება
pluteus librorum Powered By Kakhaber Revazishvili