RT Book, Whole DB /z-wcorg/ DS http://worldcat.org ID 049719340 LA English T1 Types, tableaus, and Gödel's God A1 Fitting, Melvin,, PB Kluwer Academic PP Dordrecht; Boston YR 2002 SN 1402006047 9781402006043