Symbolic Logic - Odysseus Makridis (Springer, 2022)