MPG.eBooks - Description: Proof theory

Read Now

Provability, Computability and Reflection

Bibliographic Details
Main Author:	Takeuti, Gaisi
Format:	eBook
Language:	English
Published:	Amsterdam North-Holland Pub. Co. 1975, 1975
Series:	Studies in logic and the foundations of mathematics
Subjects:	Proof Theory / Http://id.loc.gov/authorities/subjects/sh85107437 Théorie De La Preuve Bewijstheorie / Gtt Mathematics / Logic / Bisacsh Mathematics / Infinity / Bisacsh Proof Theory / Fast / (ocolc)fst01078942
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:	Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968. - Includes index
Physical Description:	vii, 372 pages
ISBN:	9780080954912 9781283525282 1283525283 008095491X 9786613837738