Includes lists of members.

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series ...

The nature of truth in mathematics has exercised the minds of thinkers from at least the time of the ancient Greeks. The great advances in mathematics and philosophy in the ...

This volume offers insights into the development of mathematical logic over the last century. Arising from a special session of the history of logic at an American Mathematical ...

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series ...

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The ...

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to ...

Logic has attained in our century a development incomparably greater than in any past age of its long history, and this has led to such an enrichment and proliferation of its ...