Types, tableaus, and Gödel's God / - Fitting, Melvin, (Kluwer Academic Publishers,, 2002)