Special Issue on Mathematical Logic

Mathematicians confirm their answers to mathematical questions by writing proofs. But what, exactly, is a proof? This course begins with a precise definition specifying what counts as a mathematical proof. This definition makes it possible to carry out a mathematical study of what can be accomplished by means of deductive reasoning and, perhaps more interestingly, what cannot be accomplished. The goal of this special issue is to provide a platform for scientists and academicians all over the world to promote, share, and discuss various new issues and developments in this area of Mathematical Logic.

In this special issue, we invite front-line researchers and authors to submit original research and review articles that explore Mathematical Logic. In this special issue, potential topics include, but are not limited to:

• Theorems and metatheorems
• Formal logical systems
• Set theory
• Model theory
• Recursion theory
• Proof theory and constructive mathematics
• Numbers, sets, structures, and symmetry
• Computational logic: its origins and applications

Authors should read over the journal’s For Authors carefully before submission. Prospective authors should submit an electronic copy of their complete manuscript through the journal’s Paper Submission System.

Please kindly specify the “Special Issue” under your manuscript title. The research field “Special Issue – Mathematical Logic” should be selected during your submission.

Special Issue timetable:

Guest Editor:

For further questions or inquiries

Please contact the Editorial Assistant at

jamp@scirp.org