Introduction to set theory
by Karel Hrbacek · first published 1978
4mentions
3recommended by
4HN commenters
2008–2025first – last mentioned
75% recommend25% neutral
"Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers "the basics"--Relations, functions, and orderings; finite, countable, and uncountable sets; and cardinal and ordinal numbers - in nine chapters perfect for a one-quarter or one-semester course ... provides five additional self-contained chapters to supplement the basic course or serve as a second-semester syllabus ... consolidates the material on real numbers into a single updated chapter affording flexibility in course design ... supplies
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…recommendation of a book for each of set theory and mathematical logic. Each were the basis for the course I took on the topic, and recieved pretty good reviews on Amazon: Karel Hrbacek and Thomas Jech, Introduction to Set Theory. ISBN-13: 978-0824779153. Herbert Enderton, A Mathematical Introduction to Logic. ISBN-13: 978-0122384523. Hope this helps. :-)
on “Ask HN: How should I go about learning CS?” ↗…with ForallX by Magnus. Then continue with Computability and Logic by Boolos (don't read all chapters, check out preface to see what you need for Godel Incompleteness Theorems). >Set Theory Hrbacek - Introduction to Set Theory --- I am currently developing an online course which teaches logic, set theory, and computability theory (this includes Godel Incompleteness Theorem). It uses the textbooks I've mentioned above. You…
on “Ask HN: Mathematicians, what textbooks are best for learning these math topics?” ↗…strategies, such as: 1. Mathematical Proofs by Chartrand, Polmeni, Zhang 2. How to Prove It by Daniel Velleman The first book by Chartrand et al is more of a traditional textbook and gives a comprehensive introduction to set theory in the context of various types of mathematical proofs. It's very good, especially because it has chapters specifically covering proofs in e.g linear algebra, calculus, elementary number theory, etc.…
on “Ask HN: Resources to learn Discrete Mathematics?” ↗Thanks! I read through a bunch of that textbook when I first decided to learn more maths a few years ago, but I relatively quickly started dual-reading a different textbook ("Introduction to Set Theory" by Hrbacek and Jeck), which is a more in-depth, non-naive introduction. That's the book I'm continuing to work through now.
on “Peano arithmetic is enough, because Peano arithmetic encodes computation” ↗