Faithin Omaha eBook Collection

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

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

This book gives an account oC the mathematical Coundations oC logic programming. I have attempted to make the book selC-contained by including prooCs of almost

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

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