Introduction to Higher-Order Categorical Logic
Lambek, J.

Lectures on the Curry-Howard Isomorphism
Sørensen, Morten Heine

Deducibility and Decidability
Gill, R. R. Rockingham

Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
Franzén, Torkel