Jump to navigation Jump to search
The following 11 pages are in this category, out of 11 total.
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.
The following 11 related categories may be of interest, out of 11 total.
- ► Subject:Algorithms and data structures (6 cats, 6 pages)
- ► Book:Modelling Theory and Practice (7 pages)
- ► Book:Mathematical Proof (1 cat, 22 pages)
Pages in category "Subject:Mathematical logic"
|More recent additions||More recent modifications|