An Introduction
To Mathematical Logic
2025/05/24
L
a
T
E
X
Contents
Hide
Abstract
Dedication
Acknowledgement
Introduction
Ancient Greece
Language
Philosophy
Background
1.1 Overview of Mathematical Logic
1.2 Induction
1.3 Formal Systems
1.4 Set Theory, Functions & Relations
1.5 Countable & Uncountable Sets
1.6 Axiom Systems
1.7 Decidability & Computability
1.8 Recursive Functions & Recursive Relations
Language & Semantics of Propositional Logic
2.1 Language of Propositional Logic
2.2 Tautological Consequence
2.3 Adequate Sets of Connectives
Propositional Logic
3.1 The Formal System P
3.2 Soundness Theorem
3.3 Deduction Theorem
3.4 Model Existence Theorem & Adequacy Theorem
Bibliography
Bibliography
[1]
R. E. Hodel,
An Introduction to Mathematical Logic
(2013)
[2]
P. Blackburn, M. de Rijke & Y. Venema,
Modal Logic
(2010)
[3]
L.J. Goldstein
Abstract Algebra
A First Course (1973)
[4]
https://digitalmapsoftheancientworld.com/mythology/greek-mythology/the-olympian-gods/the-12-olympian-gods/athena/