Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

The Journal and The Bulletin are the official organs of the Association for Symbolic Logic, an international organization for supporting research in symbolic logic and furthering the exchange of ideas ...