Reihe Synthese LibraryM. Fitting × Proof Methods for Modal and Intuitionistic Logics M. FittingSpringer NetherlandeBook2013 First-Order Modal Logic M. FittingSpringer NetherlandeBook2012 Proof Methods for Modal and Intuitionistic Logics M. FittingSpringer NetherlandSoftcover2010 Proof Methods for Modal and Intuitionistic Logics M. FittingSpringer NetherlandSoftcover2010 First-Order Modal Logic M. FittingSpringer NetherlandSoftcover1999 First-Order Modal Logic M. FittingSpringer NetherlandSoftcover1999 First-Order Modal Logic M. FittingSpringer NetherlandHardcover1998 First-Order Modal Logic M. FittingSpringer NetherlandHardcover1998 Proof Methods for Modal and Intuitionistic Logics M. FittingSpringer NetherlandHardcover1983 Proof Methods for Modal and Intuitionistic Logics M. FittingSpringer NetherlandHardcover1983