"The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can

ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalit

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997

This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to pro

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