cam a22 4500 211139246 CHVBK 20201019134510.0 910114s1987 it |||||||||| 00 |eng d 0-444-98715-0 88-7088-123-7 (Italie) (RERO)1328771 RERO geussm s1ma rero Girard Jean-Yves (IDREF)026892669 cre Proof theory and logical complexity Jean-Yves Girard Vol. 1 Napoli Bibliopolis 1987 503 p. 25 cm txt rdacontent n rdamedia nc rdacarrier Studies in proof theory. Monographs 1 rero ams 02 Girard Jean-Yves Proof theory and logical complexity 1 Studies in proof theory 1 (RERO)001328696 BK020000 XK020000 XK020000 RERO RE31020 RE31020 RE310200351 163.1 NELA 36717/1 RERO RE61011 RE61011 RE610110001 02/260 v.1 RERO RE61096 RE61096 RE610960003 DBUD 10700 BFLA 47685/1 RERO 100 1- Girard Jean-Yves (IDREF)026892669 cre RERO 490 1- Studies in proof theory. Monographs 1 RERO 800 1- Girard Jean-Yves Proof theory and logical complexity 1 RERO 830 -- Studies in proof theory 1 (RERO)001328696 SWISSBIB 131563068