Category:Shelf:Mathematical logic
< Pure mathematics
< Computer science
Mathematical logic
Books on this shelf 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  

Subcategories
The following 9 subcategories may be of interest, out of 9 total.
F
 Book:Finite Model Theory (12 pages)
L
 Book:Logic for Computer Science (9 pages)
 Book:Logic for Computer Scientists (36 pages)
M
 Book:Modelling Theory and Practice (7 pages)
S
 Book:Systems Of Logic (6 pages)
Pages in category "Shelf:Mathematical logic"
More recent additions  More recent modifications 

The following 9 pages are in this category, out of 9 total.