Michael Prantl

Set Theory

Sets, Relations and Logic

Yet a bit more Introduction to Foundational Mathematics

Logic

Hard Proofs and Logic

Introduction to Mathematics for non-Mathematicians

Logic

Formal Truth and Logic

Introduction to Logic for non-Mathematicians