â€‹Semantics involves giving meaning to logical constants in a formal way. When we talk about truth table semantics, weâ€™re talking about a way to formally interpret (or give meaning to) sentences in the logical language using truth tables. Similarly, algebraic semantics does the same, but using algebras. Proof-theoretic semantics attempts to give meaning in terms of proof rather than truth conditions.â€‹

â€‹Teach Yourself Logic: A Study Guideâ€‹

â€‹Logic mattersâ€‹

â€‹forallx: Cambridge book - Covers both truth-functional logic and first-order logic, introducing students to semantics and to a Fitch-style natural deduction system.

â€‹The Haskell Road to Logic, Math and Programmingâ€‹

â€‹Hoare Logic: Introduction to separation logicâ€‹

â€‹Great resources on learning logicâ€‹