فارسی
Search ...
Toggle Navigation
Home
Organization
Statements & Invitations
Recent News
Iranian Event of the World Logic Day
The 11th Annual Conference of the Iranian Association for Logic
Call for Papers in 11th IAL Annual Conference
Submission Rules of IAL Annual Conferences
Call for Papers in 10th IAL Annual Conference
Lectures
Probability (Modal) Logic
Intuitionistic analogues of the Łoś-Tarski Theorem
What are structural properties?
Friedman's Theorem: from standard systems to fixed points
Truth, Proof and Provability
