The Summer School and Conference on Mathematical Logic and its Applications, September 24 - October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the

Category theory is a general mathematical theory of structures and of structures of structures. It occupied a central position in contemporary mathematics as we

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that

In the twenty-first century there are two ways to study logic. The more recent approach is symbolic logic. The history of teaching logic since World War II, how