Galois Theory for Combinatory Algebras and its Application to Recursion Theory (ETH Diss. ; Nr. 11095)

Galois Theory for Combinatory Algebras and its Application to Recursion Theory

(ETH Diss. ; Nr. 11095)

Name of awarding university/degree: Eidgenössische Technische Hochschule Zürich

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
Title: Galois Theory for Combinatory Algebras and its Application to Recursion Theory
Author/Editor: OLIVER PATRIK ANDREAS GLOOR.
Series Title: ETH Diss. ; Nr. 11095
Author Heading: Gloor, Oliver Patrik Andreas.
Publication, Distribution, etc.: Zürich : Eidgenössische Technische Hochschule Zürich
Publication Date: 1995.
Extent: 2 Microfiches ( 129 fr.) : negative, ill.
Degree grantor/type: Eidgenössische Technische Hochschule Zürich
Date Granted: 1995.
Date Granted (W3CDTF): 1995
Note (Dissertation): 博士論文
Thesis (doctoral) --Eidgenössische Technische Hochschule Zürich, 1995.
Place of Publication (Country Code): CH
Text Language Code: eng
Note (Material Type): [microform]
Note (General): Swiss Federal Institute of Technology.
Note (Bibliography): Includes bibliographies.
Summary in German and English.
Holding library: 国立国会図書館
Call No.: LS-DISE-11095
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003437438
http://id.ndl.go.jp/bib/000003437438
Bibliographic Record Category (NDL): 216