| http://www.w3.org/ns/prov#value | - pondence of the editors, typescripts, galleys, illustrations, and other materials generated during the editing and production of Kurt Godel's COLLECTED WORKS. Editors and others represented in the correspondence include Solomon Feferman, Jean van Heijenoort, Stephen C. Kleene, John W. Dawson, Cheryl A. Dawson, Gregory H. Moore, Robert Solovay, and Georg Kreisel."schema:exampleOfWork<http://worldca
|
