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 Ibm to cart. $12.79, fair condition, Sold by ThriftBooks-Dallas rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 1993 by Center for the Study of Language and Informat.
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. $16.79, fair condition, Sold by Goodwill of Silicon Valley rated 5.0 out of 5 stars, ships from San Jose, CA, 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
Publisher:
Center for the Study of Language and Information Publica Tion
Published:
1992
Language:
English
Alibris ID:
18349751590
Shipping Options:
Standard Shipping: $4.97
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Acceptable condition! Any other included accessories are also in Acceptable condition showing use. Use can include some highlighting and writing page and cover creases as well as other types visible wear such as cover tears discoloration staining marks scuffs etc. All pages intact.
Add this copy of The Language of First-Order Logic: Including the to cart. $18.00, good condition, Sold by Singing Saw Books rated 5.0 out of 5 stars, ships from Portland, OR, 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. $53.98, good 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
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. $144.71, 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