Text this: Types, tableaus, and Gödel's God /