MPG.eBooks - Description: The collected papers of Gerhard Gentzen

Read Now

Provability, Computability and Reflection

Bibliographic Details
Main Author:	Szabo, M. E.
Other Authors:	Gentzen, Gerhard
Format:	eBook
Language:	English
Published:	Amsterdam North-Holland 1969, 1969
Series:	Studies in Logic and the Foundations of Mathematics
Subjects:	Gentzen, Gerhard / Http://id.loc.gov/authorities/names/n88637476 Gentzen, Gerhard / Fast / (ocolc)fst00229976 Logic, Symbolic And Mathematical / Http://id.loc.gov/authorities/subjects/sh85078115 Metamathematics / Fast / (ocolc)fst01018261 Logic, Symbolic And Mathematical / Fast / (ocolc)fst01002068 Métamathématique Logique Symbolique Et Mathématique Metamathematics / Http://id.loc.gov/authorities/subjects/sh85084269
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
Physical Description:	viii, 338 pages illustrations
ISBN:	1283526425 0444534199 661383887X 9786613838872 0080957749 9781283526425 9780444534194