Logic, Syntax, and a Structural View - Harwood Fisher (Springer, 2020)