Skip to main content
ALMA
INTER-INSTITUTIONAL GRADUATE PROGRAM "ALGORITHMS, LOGIC AND DISCRETE MATHEMATICS"
English
Ελληνικά
Κεντρική πλοήγηση
Show — Κεντρική πλοήγηση
Hide — Κεντρική πλοήγηση
Home
By-Laws
Quality Policy
Staff
Courses
History
Posts
Forms
Theses
Alumni
Seminars
Links
Thanos Tsouanas
Affiliation
External Collaborator
Courses
Name
Year
Semester
Special Topics in Logic: Formal Foundations of Mathematics and Proof Assistants
2025-2026
Spring
