Category:Subject:Mathematical logic
< Pure mathematics
< Computer science
Mathematical logic
Books in this subject area deal with 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.


Subsections  


Featured Books  

Related categories
The following 12 related categories may be of interest, out of 12 total.
A
B
F
L
M
S
Pages in category "Subject:Mathematical logic"
More recent additions  More recent modifications 
