Language, Proof and Logic 2nd Edition

By: David Barker-Plummer and Jon Barwise and John Etchemendy

Sign Up Now! Already a Member? Log In
You must be logged into Bookshare to access this title. Learn about membership options, or view our freely available titles.

Synopsis: This book covers first-order language in a method appropriate for first and second courses in logic. It is designed to be used by undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.

Book Quality:: Excellent
ISBN-13:: 9781575866321
Publisher:: CSLI Publications
Date of Addition:: 09/08/17
Copyrighted By:: CSLI Publications
Adult content:: No
Language:: English
Has Image Descriptions:: No
Categories:: Nonfiction, Computers and Internet, Textbooks, Mathematics and Statistics, Communication, Philosophy
Grade Levels:: Undergraduate Student
Submitted By:: 170
Proofread By:: 170
Usage Restrictions:: This is a copyrighted book.