Jump to navigation Jump to search
Mathematical logic is a sub-branch of symbolic logic in which the foundations of the assumptions upon which rest mathematics itself are investigated and made rigorous.
- Results about mathematical logic can be found here.
- 1951: Willard Van Orman Quine: Mathematical Logic (revised ed.) ... (next): Introduction
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $1$: The Propositional Calculus $1$: $1$ The Nature of Logic
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $1$: Introduction: $\S 1.1$: The origins of mathematical logic
- 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): mathematical logic