Set Theory

Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics. It covers not only standard material...

Nearly a hundred years after its publication, Kurt Goedel's famous proof that every mathematical system must contain propositions that are true-yet never provable-continues to unsettle mathematics, philosophy, and computer science. Yet unlike Einstein,...

Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transition...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486435206Author Mary TilesFormat PaperbackPage Count 256Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams) 280gDimensions(mm)...

Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized...

Keith Devlin. You know him. You've read his columns in MAA Online, you've heard him on the radio, and you've seen his popular mathematics books. In between all those activities and his own research, he's been hard at work revising Sets, Functions and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486469218Author Paul J CohenFormat PaperbackPage Count 192Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486616308Author Patrick SuppesFormat PaperbackPage Count 288Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

The transition from school mathematics to university mathematics is seldom straightforward. Students are faced with a disconnect between the algorithmic and informal attitude to mathematics at school, versus a new emphasis on proof, based on logic, and a...

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable...

The Banach-Tarski Paradox is a most striking mathematical construction: it asserts that a solid ball can be taken apart into finitely many pieces that can be rearranged using rigid motions to form a ball twice as large. This volume explores the...

This book serves as a textbook in real analysis. It focuses on the fundamentals of the structural properties of metric spaces and analytical properties of functions defined between such spaces. Topics include sets, functions and cardinality, real...

This Element is an exposition of second- and higher-order logic and type theory. It begins with a presentation of the syntax and semantics of classical second-order logic, pointing up the contrasts with first-order logic. This leads to a discussion of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486638294Author Robert R. StollFormat PaperbackPage Count 496Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as...

This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning graduate students to help them prepare for advanced study in set theory and mathematical logic as well as...

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel...

Proofs play a central role in advanced mathematics and theoretical computer science, yet many students struggle the first time they take a course in which proofs play a significant role. This bestselling text's third edition helps students transition...

The Language of Symmetry is a re-assessment of the structure and reach of symmetry, by an interdisciplinary group of specialists from the arts, humanities, and sciences at Oxford University.It explores, amongst other topics:order and chaos in the...

Designed for undergraduate students of set theory, Classic Set Theory presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors. This includes:The definition of the real numbers in terms of...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780262028134Author David I. SpivakFormat HardbackPage Count 496Imprint MIT PressPublisher MIT Press LtdDimensions(mm) 229mm * 178mm * 21mm

An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach...

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and...

Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking. Lateral thinking has long been used informally by good mathematics teachers and lecturers to spice up their material and interest...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780999811764Author Steve WarnerFormat PaperbackPage Count 210Imprint Get 800Publisher Get 800Weight(grams) 216g

Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.This text introduces the model theory of first-order logic, avoiding syntactical issues not...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486420790Author Azriel LevyFormat PaperbackPage Count 416Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams) 522gDimensions(mm)...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486422572Author Ian AndersonFormat PaperbackPage Count 272Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams) 272g

Primarily designed for graduate students of mathematics, this textbook delves into Naïve set theory, offering valuable insights for senior undergraduate students and researchers specializing in set theory. Commencing with a comprehensive exploration of...

This comprehensive introductory textbook is designed for undergraduate mathematics students seeking to gain a strong understanding of fuzzy sets and relations. Covering all major topics in the field, this course provides a solid foundation in fuzzy...

This innovative book introduces finite and transfinite interpolation methods at a general level in a unifying mathematical style before covering dynamical interpolation methods, which emphasize the underlying Eulerian/Lagrangian dynamics. Transfinite...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780821810132Format PaperbackPage Count 419Imprint American Mathematical SocietyPublisher American Mathematical SocietyWeight(grams) 776g

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781429678704Author Ann CorcoraneFormat PaperbackPage Count 16Imprint Capstone PressPublisher Capstone PressWeight(grams) 272gDimensions(mm) 173mm * 147mm *...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789078677208Author Alexander B. KharazishviliFormat HardbackPage Count 476Imprint Atlantis PressPublisher Atlantis Press

In recent years, applied mathematics has been used in all novel disciplines of scientific development. Advances in Applied Mathematical Problems summarizes interdisciplinary work within the field of applied mathematics.The topics discussed in the book...

A Transition to Proof: An Introduction to Advanced Mathematics describes writing proofs as a creative process. There is a lot that goes into creating a mathematical proof before writing it. Ample discussion of how to figure out the "nuts and bolts'" of...

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients). The...

In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month long series of expository lectures at the graduate level. The articles in this...

Presents a novel approach to set theory that is entirely operational. This approach avoids the existential axioms associated with traditional Zermelo-Fraenkel set theory, and provides both a foundation for set theory and a practical approach to learning...

Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and...