Jean-Yves Girard. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp.
- 1 December 1989
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 54 (4) , 1493-1494
- https://doi.org/10.2307/2274839
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: