The structure of the atom pdf notes. Is Pomelo legit.

Northwestern Transportation Library. Formal systems in maths pdf.