MathLAB Journal

Department of Pure and Applied Mathematics, Wizard University, Nigeria

Publications

• Commentary   
  Integrating Higher-Order Logic with Set Theory Formalizations: Enhancing the Foundations of Mathematical Reasoning
  Author(s): Tom Rowe*
  
  

  HTML PDF