World Library  

Add to Book Shelf
Flag as Inappropriate
Email this Book

Logic for Computer Science Foundations of Automatic Theorem Proving

By Gallier, Jean H.

Click here to view

Book Id: WPLBN0003842808
Format Type: PDF eBook :
File Size:
Reproduction Date: 2015

Title: Logic for Computer Science Foundations of Automatic Theorem Proving  
Author: Gallier, Jean H.
Language: English
Subject: Computer Scientists, Programming, Programming
Collections: Online Programming Books
Publication Date:
Publisher: University of Pennsylvania


APA MLA Chicago

H.Gallie, J. (2013). Logic for Computer Science Foundations of Automatic Theorem Proving. Retrieved from

Description: 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.The book is self contained, and the level corresponds to senior undergraduates and first year graduate students. However, there is enough material for at least a two semester course, and some Chapters (Chapters 6,7,9,10) contain material which could form the basis of seminars. It would be helpful, but not indispensable, if the reader has had an undergraduate-level course in set theory and/or modern algebra.

Table of Contents
TOC : Introduction - Mathematical Preliminaries - Propositional Logic - Resolution In Propositional Logic - First-Order Logic - Gentzen’s Cut Elimination Theorem And Applications - Gentzen’s Sharpened Hauptsatz; Herbrand’s Theorem - Resolution In First-Order Logic - Sld-Resolution And Logic Programming (Prolog) - Many-Sorted First-Order Logic.


Click To View

Additional Books

  • C# Array.Search Prog 
  • ASTUDENT_Scratch_Programming (by )
  • Windows Applcaition 
  • Moist- macro output input system for the... (by )
  • Open Sources 2.0 : The Continuing Evolut... (by )
  • Fundamentals of computer technology (by )
  • Web Data Management (by )
  • Microsoft System Center: Extending Opera... (by )
  • Microsoft System Center: Introduction to... (by )
  • Server and Database Administration Guide... (by )
  • Basic Computing Using Windows (by )
Scroll Left
Scroll Right


Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library on the Kindle are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.