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: Machine Translation: an Introductory GuideMachine Translation: an Introductory Guide
by - Blackwell Pub
This introductory book looks at all aspects of Machine Translation: covering questions of what it is like to use a modern Machine Translation system, through questions about how it is done, to questions of evaluating systems, and more.
(6103 views)
Book cover: Natural Language Processing for Prolog ProgrammersNatural Language Processing for Prolog Programmers
by - Prentice-Hall
Designed to bridge the gap for those who know Prolog but have no background in linguistics, this book concentrates on turning theories into practical techniques. Coverage includes template and keyword systems, definite clause grammars, and more.
(6688 views)
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.
(12288 views)
Book cover: Natural Language Processing SuccinctlyNatural Language Processing Succinctly
by - Syncfusion, Inc.
Author will guide readers through designing a simple system that can interpret and provide reasonable responses to written English text. With this foundation, readers will be prepared to tackle the greater challenges of natural language development.
(1611 views)