DS-1994-06: Domenico Zambella Chapters on Bounded Arithmetic and on Provability Logic 1.Abstract, 2.Samenvatting, 3.Full Text (DJVU), 4.Full Text (PDF). < Back
