The Second World Conference on Mathematics at the Service of Man was held at the Universidad Politecnica de Las Palmas, Canary Islands, Spain, June 28 to July 3, 1982. The first volume of the Proceedings of the Conference, entitled "Functional Equations-Theory and Applications" has appeared in the Reidel series "Mathematics and Its Applications." The papers in this volume consist of the invited lectures delivered at the Conference, Section 7: Non-Classical Logics and Modelling, as well as some selected papers which offer an introduction to the philosophy, methodology and to the lite rature of...