The Arch Papers on the Mathematics of Abstraction - Cook, Roy T. (The Western Ontario Series in Philosophy of Science,, 2007)