თანამშრომლები

კალენდარი

სიახლეების გამოწერა

ფორუმის დასახელება ტოპოლოგია, ალგებრა და კატეგორია ლოგიკაში, TACL 2011

ღონისძიების ჩატარების ადგილი მარსელი (საფრანგეთი)

მოხსენების სათაური სასრული რაოდენობის პროპოზიციული ცვლადების მქონე ფორმულები ინტუიციონისტურ ლოგიკაში სოლოვაის მოდალობით

წელი 2011

მომხსენებელი რევაზ გრიგოლია

უკან

რაიმე უზუსტობის შემთხვევაში გთხოვთ შეატყობინოთ ადმინისტრატორს