Proof theory / Gaisi Takeuti

Author:: Takeuti, Gaisi, 1926-2017
Published:: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
Physical Description:: 1 online resource (vii, 372 pages).

Finding items...

Series:

Contents:

pt. 1. First order systems -- pt. 2. Second order and finite order systems -- pt. 3. Consistency problems.

Summary:

Provability, Computability and Reflection.

Subject(s):

ISBN:

9780080954912 (electronic bk.)
008095491X (electronic bk.)
9780444104922
0444104925
0720422000
0720422779

Note:

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.

View MARC record | catkey: 18156717