Proof theory

Web Site CiNii Available at 3 libraries

Bibliographic Information

Title
"Proof theory"
Statement of Responsibility
Gaisi Takeuti
Publisher
  • UT Back-in-Print Service
Publication Year
  • 1975
Book size
23 cm
Series Name / No
  • American Elsevier
  • North-Holland

Search this Book/Journal

Notes

Reprint. Originally published : Amsterdam : North-Holland Pub. Co.

Reprint. Originally published : New York : American Elsevier Pub. Co. , 1975

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

Related Books

See more

Details 詳細情報について

Back to top