**Language, Proof and Logic**

by Jon Barwise, John Etchemendy

**Publisher**: Center for the Study of Language 2011**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

**Machine Translation: an Introductory Guide**

by

**Doug Arnold, at al.**-

**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.

(

**6267**views)

**Formal Language Theory for Natural Language Processing**

by

**Shuly Wintner**-

**ESSLLI**

This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.

(

**7513**views)

**An Introduction to Stochastic Attribute-Value Grammars**

by

**Rob Malouf, Miles Osborne**-

**ESSLLI**

This text provides an introduction to the maximum entropy principle and the construction of maximum entropy models for natural language processing. We investigate the implementation of maximum entropy models for attribute-value grammars.

(

**5755**views)

**Natural Language Processing for the Working Programmer**

by

**DaniĆ«l de Kok, Harm Brouwer**

We will go into many of the techniques that so-called computational linguists use to analyze the structure of human language, and transform it into a form that computers work with. We chose Haskell as the main programming language for this book.

(

**12575**views)