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