Efficient metamathematics. ILLC-disseration series 1993-3 (1993)

by L C Verbrugge