<Pure mathematicspurge this page's server cache
<Computer science
 Mathematical logic Books on this shelf deal withmathematical 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. |
The following 9 subcategories may be of interest, out of 9 total.
| More recent additions | More recent modifications |
|---|---|
The following 9 pages are in this category, out of 9 total.
