The following are the current most viewed articles on Wikipedia within Wikipedia's Mathematical logic category. Think of it as a What's Hot list for Mathematical logic. More info »
This is a beta release and so the figures may be a day or two out of date. We'd love to get your thoughts.
Mathematical logic has several meanings in common usage. It originally referred to symbolic or formal logic, and then came to be associated with the study of the logical (and even philosophical) foundations of mathematics. In contemporary use by mathematical logicians, the term refers to several branches of pure mathematics whose study involves careful attention to formal axiom systems and formal definability.
Mathematical logic is divided into four parts:
The divisions between these areas, along with the divisions between mathematical logic and the rest of mathematics, are not completely sharp, with many areas of research and methods overlapping and reinforcing each other.
This category has the following 24 subcategories, out of 24 total.
ABCFI 
LM 
M cont.PQRSµ 
The following 132 pages are in this category, out of 132 total. This list may not reflect recent changes (learn more).
This category contains books on mathematical logic: the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
Index: *  A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  ~
The following 8 related categories may be of interest, out of 8 total.
BF 
LM 
S 
The following 9 pages are in this category, out of 9 total.
ABF 
F cont.L 
MS 
