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 ...
Read More
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.
Read Less
Add this copy of The Language of First-Order Logic: Including the to cart. $77.31, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1992 by Center for the Study of Langua.
Edition:
1993, Center for the Study of Language and Information Publica Tion
Add this copy of The Language of First-Order Logic: Including the to cart. $113.81, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1992 by Center for the Study of Language and Inf.
Edition:
1993, Center for the Study of Language and Information Publica Tion
Add this copy of The Language of First-Order Logic: Including the to cart. $218.18, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1992 by Center for the Study of Langua.
Edition:
1993, Center for the Study of Language and Information Publica Tion
