Reading list: examples of axiomatic systems by schweitzer