This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday. It acknowledges Prof. Börger's inspiration as a scientist, author

Ideas from theoretical computer science continue to have an important influence on areas of philosophy and linguistics. The papers contained in this volume by s

The first interdisciplinary textbook to introduce students to three critical areas in applied logic Demonstrating the different roles that logic plays in the di

This is the first volume of a unique collection that brings together the best English-language problems created for students competing in the Computational Ling

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines