Book

Types, tableaus, and Gödel's God

by Melvin Fitting