Search - The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Center for the Study of Language and Information - Lecture Notes)

The Language of FirstOrder Logic Including the Windows Program Tarski's World 40 for use with IBMcompatible computers - Center for the Study of Language and Information - Lecture Notes
Author: Jon Barwise, John Etchemendy

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 conta...  more »ins 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.  « less

Post This Book

Login | Register

ISBN-13: 9780937073902
ISBN-10: 0937073903
Publication Date: 12/1/1992
Pages: 320
Edition: 3
Rating:

  ?

0 stars, based on 0 rating

Publisher: Center for the Study of Language and Inf
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review

• Computers & Technology >> General
• Reference >> Words, Language & Grammar >> Reference
• Nonfiction >> Philosophy >> General
• Nonfiction >> Philosophy >> Logic & Language
• Science & Math >> Mathematics >> General
• Science & Math >> Mathematics >> Pure Mathematics >> Combinatorics
• Engineering & Transportation >> Professional Science >> Mathematics >> Pure Mathematics >> Combinatorics