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 early work by David Hilbert was originally published in the early 20th century and we are now republishing it with a brand new introductory biography. Davi
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