Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 54, 76, 80, 98, 108, 118, 131—133, 138, 143, 145, 146, 190, 205, 497, 543, 562, 563, 568—571, 573, 574, 581, 582, 584, 585, 589, 590, 593, 594, 599—601, 605, 607, 614, 616—619, 621, 624—626, 628, 630, 631, 633—635 |