Galois theory for combinatory algebras and its application to recursion theory

Autor:	Gloor, Oliver Patrik Andreas
Jazyk:	angličtina
Rok vydání:	1995
Předmět:	GALOIS THEORY (ALGEBRA) REKURSIONSTHEORIE (MATHEMATIK) COMBINATORY LOGIC (MATHEMATICS) GALOISTHEORIE (ALGEBRA) FOS: Mathematics KOMBINATORISCHE LOGIK (MATHEMATIK) RECURSION THEORY (MATHEMATICS) Mathematics
DOI:	10.3929/ethz-a-001494903
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a286e8411a57ed20c6523d8382a6678d Zobrazit plný text záznamu