Logical Foundations
The Foundations of Logic Programming
Logic and foundations
Logical Foundation of Logic Programming
Invariants in Foundations: Algebraic Logic
Logic Foundation
Foundations without Foundationalism