Welcome to **E-Books Directory**

This is a freely downloadable e-book.

# Logic for Computer Science by Jean H. Gallier

Read this book online or download it here for free

**Logic for Computer Science**

by Jean H. Gallier

**Publisher**: Longman Higher Education 1986**ISBN/ASIN**: 0060422254**ISBN-13**: 9780060422257**Number of pages**: 528

**Description**:

This book is intended as an introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. Since the main emphasis of the text is on the study of proof systems and algorithmic methods for constructing proofs, it contains some features rarely found in other texts on logic. This book is designed primarily for computer scientists, and more generally, for mathematically inclined readers interested in the formalization of proofs, and the foundations of automatic theorem-proving.