http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
2: Classical Papers on Computational Logic 1967-1970
1 online resource (XII, 637 pages 1 illustration)
edited by Jörg H. Siekmann, Graham Wrightson.