The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes)
ISBN-13:
9780937073902
ISBN-10:
0937073903
Edition:
3
Author:
Jon Barwise, John Etchemendy
Publication date:
1992
Publisher:
Center for the Study of Language and Inf
Format:
Paperback
320 pages
Category:
Reference
,
Words, Language & Grammar
,
Logic & Language
,
Philosophy
FREE US shipping
Book details
ISBN-13:
9780937073902
ISBN-10:
0937073903
Edition:
3
Author:
Jon Barwise, John Etchemendy
Publication date:
1992
Publisher:
Center for the Study of Language and Inf
Format:
Paperback
320 pages
Category:
Reference
,
Words, Language & Grammar
,
Logic & Language
,
Philosophy
Summary
The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes) (ISBN-13: 9780937073902 and ISBN-10: 0937073903), written by authors
Jon Barwise, John Etchemendy, was published by Center for the Study of Language and Inf in 1992.
With an overall rating of 4.4 stars, it's a notable title among other
Reference
(Words, Language & Grammar , Logic & Language, Philosophy) books. You can easily purchase or rent The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Lecture Notes) (Paperback) from BooksRun,
along with many other new and used
Reference
books
and textbooks.
And, if you're looking to sell your copy, our current buyback offer is $0.21.
Description
This text/courseware package presents a new approach to teaching first-order logic. Taking advantage of Tarski's World 4.0, the text skilfully balances the semantic conception of logic with methods of proof. The book contains eleven chapters, in four parts. Part I is about propositional logic, Part II about quantifier logic. Part III contains chapters on set theory and inductive definitions. Part IV contains advanced topics in logic, including topics of importance in applications of logic in computer science. The Language of First-order Logic contains hundreds of problems and exercises for the user to work through.
We would LOVE it if you could help us and other readers by reviewing the book
{user}
{createdAt}
{truncated_title}
{author_block}
by {truncated_author}
