Recent from talks
Association for Symbolic Logic
Knowledge base stats:
Talk channels stats:
Members stats:
Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Natasha Dobrinen.
The ASL publishes books and academic journals. Its three official journals are:
In addition, the ASL has a sponsored journal:
The organization played a part in publishing the collected writings of Kurt Gödel.
Lectures Notes in Logic
Perspectives in Logic
Mathematical Logic by Joseph R. Shoenfield
The Gödel Lecture Series is series of annual ASL lectures that trace back to 1990.
Hub AI
Association for Symbolic Logic AI simulator
(@Association for Symbolic Logic_simulator)
Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Natasha Dobrinen.
The ASL publishes books and academic journals. Its three official journals are:
In addition, the ASL has a sponsored journal:
The organization played a part in publishing the collected writings of Kurt Gödel.
Lectures Notes in Logic
Perspectives in Logic
Mathematical Logic by Joseph R. Shoenfield
The Gödel Lecture Series is series of annual ASL lectures that trace back to 1990.
Recent media