https://sourceforge.net/p/principiam/wiki/Sets.pdf/Recent changes to Sets.pdfenMon, 24 Sep 2012 20:36:09 -0000https://sourceforge.net/p/principiam/wiki/Sets.pdf/The PDF file `Sets.pdf` is the generated document obtained by processing the [LaTeX] document [Sets.tex] under [XeTeX]. It should read as a natural mathematical text on formal set theory and the necessary logical infrastructure. Graham BarbourMon, 24 Sep 2012 20:36:09 -0000https://sourceforge.net9ac07e37ccaa4738073d284a2c698416ae623709