2 options
Proof theory / Gaisi Takeuti.
Math/Physics/Astronomy Library QA9.54 .T34 1987
Available
LIBRA QA9.54 .T34 1987
Available from offsite location
- Format:
- Book
- Author/Creator:
- Takeuti, Gaisi, 1926-2017.
- Language:
- English
- Subjects (All):
- Proof theory.
- Physical Description:
- x, 490 pages ; 23 cm
- Edition:
- Second edition.
- Place of Publication:
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributor for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
- Notes:
- Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968.
- Includes index.
- Includes bibliographical references and index.
- ISBN:
- 0444879439
- OCLC:
- 13270942
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.