http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
proceedings of the colloquium held in Manchester, U.K., July 1984
Logic Colloquium (1984 : Manchester, Greater Manchester)
editors, J.B. Paris, A.J. Wilkie, G.M. Wilmers.
Studies in logic and the foundations of mathematics ; v. 120