Logo

Logic for Computer Science by Jean H. Gallier

Large book cover: Logic for Computer Science

Logic for Computer Science
by

Publisher: Longman Higher Education
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.

Home page url

Download or read it online for free here:
Download link
(multiple PDF, PS files)

Similar books

Book cover: Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by - Springer
This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
(9509 views)
Book cover: Proof, Sets, and LogicProof, Sets, and Logic
by - Boise State University
This textbook is intended to communicate something about proof, sets, and logic. It is about the foundations of mathematics, a subject which results when mathematicians examine the subject matter and the practice of their own subject very carefully.
(9906 views)
Book cover: Proofs and TypesProofs and Types
by - Cambridge University Press
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.
(11241 views)
Book cover: Proof Theory and PhilosophyProof Theory and Philosophy
by - consequently.org
A textbook in philosophical logic, accessible to someone who's done only an intro course in logic, covering some model theory and proof theory of propositional logic, and predicate logic. User-friendly and philosophically motivated presentation.
(7501 views)