Cover Image

The collected papers of Gerhard Gentzen /

Show other versions (1)

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
Description
Summary:Provability, Computability and Reflection.
Physical Description:1 online resource (viii, 338 pages) : illustrations
Bibliography:Includes bibliographical references and indexes.
ISBN:9780444534194
0444534199
1283526425
9781283526425
9786613838872
661383887X
0080957749
9780080957746