Springer.Proof.Theory.For.Fuzzy.Logics.Dec.2008.eBook-ELOHiM