TROELSTRA, A. S. - SCHWICHTENBERG, Helmut. Basic proof theory. 2nd ed. Cambridge : Cambridge University Press, 2000. ISBN 0521779111.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.