51
Zamb	Zambella, Domenico.     Chapters on bounded arithmetic and on provability logic [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... / D. Zambella; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1994. — 77 p.
ISBN 90-74795-10-2