Recursive analysis /

Provability, Computability and Reflection.

Bibliographic Details

Corporate Author:	ScienceDirect (Online service)
Other Authors:	Goodstein, R. L. (Reuben Louis)
Format:	eBook
Language:	English
Published:	Amsterdam : North-Holland, 1961.
Series:	Studies in logic and the foundations of mathematics ; v. 29.
Subjects:	Recursion theory. Recursive functions. Fonctions récursives. Théorie de la récursivité. MATHEMATICS > General. Recursive functions Recursion theory Electronic books.
Online Access:	Connect to the full text of this electronic book