Chargement en cours…

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /

Provability, Computability and Reflection.

Détails bibliographiques
Cote:	Libro Electrónico
Collectivité auteur:	Symposium on Generalized Recursion Theory University of Oslo
Autres auteurs:	Fenstad, Jens Erik, Hinman, Peter G.
Format:	Électronique Actes de congrès eBook
Langue:	Inglés
Publié:	Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1974.
Collection:	Studies in logic and the foundations of mathematics ; v. 79.
Sujets:	Recursion theory > Congresses. Recursive functions. Fonctions r�ecursives. Th�eorie de la r�ecursivit�e > Congr�es. MATHEMATICS > Infinity. MATHEMATICS > Logic. Recursive functions Recursion theory Kongress Rekursionstheorie R�ecursivit�e, Th�eorie de la > Congr�es. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congr�es. Oslo (1972- )
Accès en ligne:	Texto completo Texto completo

Table des matières:

pt. 1. Recursion in objects of finite type
pt. 2. Sets and ordinals
pt. 3. Inductive definability
pt. 4. Axiomatic approaches and general discussion
pt. 5. A bibliography of generalized recursion theory.