Return to search

Length of proofs and unification theory

Thesis (Ph. D.)--University of Wisconsin--Madison, 1984. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 224-228).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/609347751
Date January 1900
CreatorsFarmer, William Michael.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0017 seconds