Reihe Trends in LogicM. Fitting × Types, Tableaus, and Gödel’s God M. FittingSpringer NetherlandeBook2012 Types, Tableaus, and Gödel’s God M. FittingSpringer NetherlandSoftcover2012 Types, Tableaus, and Gödel’s God M. FittingSpringer NetherlandHardcover2002