learnmath/lysa — pull request #32 by pharpend (2014-12-24 00:05:20+00:00)
Title: Add a bunch of stuff, mostly new content

There's part of a chapter on set theory, and part of a chapter on the Peano axioms.