Cover Image

Proof theory /

Show other versions (2)

Provability, Computability and Reflection.

Bibliographic Details
Main Author: Takeuti, Gaisi, 1926-2017
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Language Notes:English.
Published: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Series:Studies in logic and the foundations of mathematics ; v. 81.
Subjects:
Proof theory.
Théorie de la preuve.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Proof theory
Bewijstheorie.
Electronic books.
Online Access:Connect to the full text of this electronic book
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:1 online resource (vii, 372 pages).
ISBN:9780080954912
008095491X
1283525283
9781283525282
9786613837738
6613837733