These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987.
Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level.
The Set Theory and Applications meeting at York University, Ontario, featured both contributed talks and a series of invited lectures on topics central to set theory and to general topology.
Addressed to all readers with an interest in fractals, hyperspaces, fixed-point theory, tilings and nonstandard analysis, this book presents its subject in an original and accessible way complete with many figures.
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field.
With one exception, these papers are original and fullyrefereed research articles on various applications ofCategory Theory to Algebraic Topology, Logic and ComputerScience.
Set Theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large cardinals and descriptive set theory.
Finite model theory, the model theory of finite structures, has roots in clas- sical model theory; however, its systematic development was strongly influ- enced by research and questions of complexity theory and of database theory.
Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing.
