Book

Higher-Order Logic and Type Theory

by John L. Bell