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.

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.

Commutative Algebra and Graph Theory Publication Trend The graph below shows the total number of publications each year in Commutative Algebra and Graph Theory.

A University of Colorado Boulder mathematician has won the Sacks Prize, which recognizes the year’s best dissertation on mathematical logic, the Association of Symbolic Logic has announced. Marcos ...

Transfinite Set Theory and Provability Logic Publication Trend The graph below shows the total number of publications each year in Transfinite Set Theory and Provability Logic.