51
Verb	Verbrugge, L. C.     Efficient metamathematics [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... / L.C. Verbrugge; Universiteit van Amsterdam, faculteit wiskunde en informatica. — Amsterdam : [S. n.], 1993. — X, 132 p.
ISBN 90-800769-8-8