An introduction to the basic concepts and results of contemporary logic, including a discussion of the basic mathematical tools needed to master the technical aspects of the subject.. This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on ...
Read More
An introduction to the basic concepts and results of contemporary logic, including a discussion of the basic mathematical tools needed to master the technical aspects of the subject.. This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions, and proofs and recursive definitions. The book is ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided. This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on inductive definitions and proofs and recursive definitions. The book is ideally suited for readers who want to undertake a serious study of logic but lack the mathematical background that other texts at this level presuppose. It can be used as a textbook in graduate and advanced undergraduate courses in logic. Hundreds of exercises are provided.Topics covered include basic set theory, propositional and first-order syntax and semantics, a sequent calculus-style deductive system, the soundness and completeness theorems, cardinality, the expressive limitations of first-order logic, with especial attention to the Loewenheim-Skolem theorems and non-standard models of arithmetic, decidability, complete theories, categoricity and quantifier elimination.
Read Less
Add this copy of Introduction to the Theory of Logic to cart. $32.95, very good condition, Sold by Rogue Books rated 5.0 out of 5 stars, ships from Ashland, OR, UNITED STATES, published 2000 by Westview Press, 2000..
Add this copy of Introduction to the Theory of Logic to cart. $106.01, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2000 by Westview Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Introduction to the Theory of Logic to cart. $148.37, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2000 by Westview Press.