Book

Types, Tableaus, and Gödel's God

by Melvin Fitting