Return to search

Syntax and semantics in higher-type recursion theory

Thesis--University of Wisconsin--Madison. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaf 83).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/609149458
Date January 1979
CreatorsKierstead, David Philip.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0023 seconds