The fifth volume of the second edition contains major contributions on Intuitionistic Logic, Free LoProducator: SPRINGER VERLAG GMBH