The collected papers of Gerhard Gentzen /

Provability, Computability and Reflection.

Bibliographic Details
Corporate Author:	ScienceDirect (Online service)
Other Authors:	Szabo, M. E., Gentzen, Gerhard
Format:	eBook
Language:	English German
Language Notes:	English.
Published:	Amsterdam : North-Holland, 1969.
Series:	Studies in logic and the foundations of mathematics ; v. 55.
Subjects:	Gentzen, Gerhard. Gentzen, Gerhard Logic, Symbolic and mathematical. Metamathematics. Logique symbolique et mathématique. Métamathématique. Logic, Symbolic and mathematical Metamathematics Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

On the existence of independent axiom systems for infinite sentence systems
On the relation between intuitionist and classical arithmetic
Investigations into logical deduction
Consistency of elementary number theory
Consistency of the simple theory of types
Concept of infinity in mathematics
Present state of research into the foundations of mathematics
New version of the consistency proof for elementary number theory
Provability and nonprovability of restricted transfinite induction in elementary number theory
Fusion of several complete inductions.