The Language of First-Order Logic
Including the IBM-compatible Windows version of Tarski's World 4.0
The Center for the Study of Language and Information Publications (Publisher)
3rd Edition
Published on 1. January 1993
Book
Paperback/Softback
336 pages
978-0-937073-90-2 (ISBN)
Unfortunately, price unknown
No shipping information available
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.
More details
Series
Language
English
Place of publication
New York
United States
Publishing group
Cambridge University Press
Target group
Professional and scholarly
Edition type
Revised edition
Product notice
Paperback (trade)
Illustrations
1 b/w illus. 4 tables
Dimensions
Height: 228 mm
Width: 152 mm
Thickness: 23 mm
Weight
590 gr
ISBN-13
978-0-937073-90-2 (9780937073902)
Schweitzer Classification
Persons
Content
Preface; 1. Introduction; Part I. Propositional Logic: 2. Atomic sentences; 3. Conjunctions, disjunctions, and negations; 4. Conditionals and biconditionals; Part II. Quantifiers: 5. Introduction to quantification; 6. Sentences with more than one quantifier; 7. Some specific uses of quantifiers; Part III. Applications of first-order logic: 8. First-order set theory; 9. Induction; Part IV. Advanced Topics: 10. Advanced topics in propositional logic; 11. Advanced topics in FOL; Reference material; General index; Tarski's world index; Exercise files index.