Arithmetic, proof theory, and computational complexity. Oxford : Clarendon Press, 1993. Oxford logic guides; 23. ISBN 0198536909.

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