Ֆորմալ հաշիվներ և աքսիոմատիկ համակարգեր ոչ դասական տրամաբանություններում

Applicant
Supervisor/Consultant

Defense type
Ph.D.
Specialty
Մաթեմատիկական կիբեռնետիկա և մաթեմատիկական տրամաբանություն
Ա.01.09
Topic approved by
Council
Ինֆորմատիկայի (037)
Opponents
,

Defense Date
Completed
✔

2002

Confirmed