Logo

Language, Proof and Logic by Jon Barwise, John Etchemendy

Large book cover: Language, Proof and Logic

Language, Proof and Logic
by

Publisher: Center for the Study of Language
ISBN/ASIN: 157586374X
ISBN-13: 9781575863740
Number of pages: 620

Description:
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. 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.

Download or read it online for free here:
Download link
(2.5MB, PDF)

Similar books

Book cover: Natural Language Processing with PythonNatural Language Processing with Python
by - O'Reilly Media
This book offers a highly accessible introduction to natural language processing, the field that supports a variety of language technologies. With it, you'll learn how to write Python programs that work with large collections of unstructured text.
(5059 views)
Book cover: Natural Language Processing in PrologNatural Language Processing in Prolog
by - Addison-Wesley
The major focus of this book is on the processing of the orthographic forms of natural language utterances and text. Most of the book deals with the parsing and understanding of natural language, much less on the production of it.
(10608 views)
Book cover: Computing Natural LanguageComputing Natural Language
by - CSLI
This book pursues the recent research in the interface of logic, language and computation, with applications to artificial intelligence and machine learning. It contains contributions to the logical and computational analysis of natural language.
(5566 views)
Book cover: Natural Language Processing in LispNatural Language Processing in Lisp
by - Addison-Wesley
This book is aimed at computer scientists and linguists at undergraduate, postgraduate, or faculty level, who have taken a programming course in Lisp. The focus is on the processing of the orthographic forms of natural language utterances and text.
(9606 views)