Programming Language Foundations

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Programming Logic and Problem Solving: A language-independent foundation for logical and algorithmic thinking (English Edition)

Programming Language Explorations

Before the Code: The Science of Thinking Like a Programmer: 'Logical foundations required Before learning any programming Language'