This first volume of the second edition contains major contributions on Predicate Logic, First- andProducator: SPRINGER VERLAG GMBH