A Mathematical Introduction to Logic
- ISBN-10
- 0080496466
- ISBN-13
- 9780080496467
- Category
- Mathematics
- Pages
- 317
- Language
- English
- Published
- 2001-01-23
- Publisher
- Elsevier
- Authors
- Herbert Enderton, Herbert B. Enderton
Description
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students
Get the book
Other editions
Similar books
-
An Introduction to Mathematical Logic
By Richard E. HodelThis comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics.
-
Elements of Set Theory
By Herbert B. EndertonThis book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning.
-
Mathematical Logic
By Stephen Cole KleeneContents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
-
A Friendly Introduction to Mathematical Logic
By Christopher C. Leary, Lars KristiansenThe text is designed to be used either in an upper division undergraduate classroom, or for self study.
-
An Algebraic Introduction to Mathematical Logic
By D.W. Barnes, J.M. MackThis book is intended for mathematicians.
-
Introduction to Mathematical Logic
By Elliot MendelsohnThis is a compact mtroduction to some of the pnncipal tOpICS of mathematical logic .
-
Introduction to Mathematical Logic
By Micha? WalickiThis is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book does not presuppose any previous knowledge and can be used also for self-study by more ambitious students.
-
A Concise Introduction to Mathematical Logic
By Wolfgang RautenbergThis book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former.
-
Introduction to Elementary Mathematical Logic
By Abram Aronovich StolyarThis lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic.
-
Mathematical Logic
By Wolfgang Thomas, H.-D. Ebbinghaus, J. FlumThis introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.