2 options
Proof theory and logical complexity / Jean-Yves Girard.
Math/Physics/Astronomy Library QA9.54 .G57 1987 v.1- v.1
Available
LIBRA QA9.54 .G57 1987 v.1
Available from offsite location
- Format:
- Book
- Author/Creator:
- Girard, Jean-Yves.
- Series:
- Studies in proof theory . 1.
- Studies in proof theory ; . 1
- Language:
- English
- Subjects (All):
- Proof theory.
- Physical Description:
- volumes ; 25 cm.
- Place of Publication:
- Napoli : Bibliopolis, c1987-
- Notes:
- Includes bibliographies and indexes.
- ISBN:
- 8870881237
- OCLC:
- 17455769
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.