Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Set theory: You should definitely look at Naive Set Theory by Halmos. Despite the name, it's totally rigorous development of ZF set theory with discussion on the meaning and equivalent statements of AC.


What about Lawvere's Conceptual Mathematics or Sets for Mathematics?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: