DS-1993-03: Rineke Verbrugge Efficient Metamathematics 1.Abstract, 2.Samenvatting, 3.Full Text (DJVU), 4.Full Text (PDF). < Back
