Database in Depth: Relational Theory for Practitioners: The Relational Model for Practitioners
Click For Info
Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
Click For Info