Introduction to logic by Tarski, Alfred

Einfuhrung in die mathematische logik by Tarski, Alfred

Introduction to logic and to the methodology of deductive sciences by Tarski, Alfred

A formalization of set theory without variables by Tarski, Alfred

Logic, semantics and metamathematics : by Tarski, Alfred

A decision method for elemantary algebra and goemetry by Tarski, Alfred

Proceedings of the Terski Symposium :

Εισαγωγή στην θεωρία μοντέλων: το θεώρημα ισομορισμού του Cantor by Αναγνώστου, Αριστοτέλης

“…Ιστορικά η µελέτη της Θεωρίας Μοντέλων ξεκινάει στις αρχές του 20ου αιώνα µε ένα από τα πρώτα αποτελέσµατα της ϑεωρίας να εµφανίζεται στην δηµοσίευση του Leopold Löwenheim το 1915, το οποίο ήταν µια πρώιµη µορφή του γνωστού ϑεωρήµατος Löwenheim-Skolem (2.11). Η επιρροή του Alfred Tarski ήταν καθοριστική µέσω των διαφόρων σηµαντικών αποτελεσµάτων που έδωσε, µε σηµαντικότερο τον αυστηρό ορισµό της αλήθειας σε µια µαθηµατική δοµή. …”
Get full text