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

2002

Confirmed