Logic and Databases: The Roots of Relational Theory

Logic and Relational Theory: Thoughts and Essays on Database Matters

Datalog and Logic Databases (Synthesis Lectures on Data Management)

The Roots of the Papacy: The Patristic Logic

An Introduction to Formal Logic