Loading…

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /

Provability, Computability and Reflection.

Bibliographic Details
Call Number:	Libro Electrónico
Corporate Author:	Symposium on Generalized Recursion Theory University of Oslo
Other Authors:	Fenstad, Jens Erik, Hinman, Peter G.
Format:	Electronic Conference Proceeding eBook
Language:	Inglés
Published:	Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1974.
Series:	Studies in logic and the foundations of mathematics ; v. 79.
Subjects:	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- )
Online Access:	Texto completo Texto completo

Table of Contents:

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.