Proof theory

Web Site CiNii Available at 79 libraries

Bibliographic Information

Title
"Proof theory"
Statement of Responsibility
Gaisi Takeuti
Publisher
  • North-Holland Pub. Co
  • American Elsevier Pub. Co.
Publication Year
  • 1975
Book size
23 cm
Series Name / No
  • American Elsevier
  • North-Holland

Search this Book/Journal

Notes

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