Good clean copy with no missing pages might be an ex library copy; Possibly may have minor marginal notes and or highlighting. Bookseller Inventory #
Synopsis: his textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.
Title: Language, Proof and Logic, Textbook ONLY
Publisher: Center for the Study of Langua
Book Condition: GOOD
Book Description Center for the Study of Langua. Book Condition: Good. Used books cannot guarantee unused access codes or working CD's! Ships fast. Ships fast! Ships from USA!. Bookseller Inventory # BZ-OPB-168-10347