MPG.eBooks - Description: Generalized recursion theory

Read Now

Provability, Computability and Reflection

Bibliographic Details
Main Author:	Fenstad, Jens Erik
Corporate Author:	Symposium on Generalized Recursion Theory ( 1972, University of Oslo)
Other Authors:	Hinman, Peter G.
Format:	eBook
Language:	English
Published:	Amsterdam North-Holland Pub. Co. 1974, 1974
Series:	Studies in logic and the foundations of mathematics
Subjects:	Théorie De La Récursivité / Congrès Fonctions Récursives Rekursionstheorie / Gnd / Http://d-nb.info/gnd/4122329-9 Kongress / Gnd / Http://d-nb.info/gnd/4130470-6 Récursivité, Théorie De La / Congrès / Ram Mathematics / Logic / Bisacsh Recursive Functions / Http://id.loc.gov/authorities/subjects/sh85112014 Recursion Theory / Congresses Recursion Theory / Congresses / Nli Recursion Theory / Fast / (ocolc)fst01091982 Mathematics / Infinity / Bisacsh
Online Access:	https://www.sciencedirect.com/science/bookseries/0...
Collection:	Elsevier eBook collection Mathematics - Collection details see MPG.ReNa

Description
Summary:	Provability, Computability and Reflection
Item Description:	Includes 12 papers from the symposium. - Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
Physical Description:	viii, 456 pages
ISBN:	9781283525732 1283525739 0080954898 9780080954899 9786613838186