Počet záznamů: 1  

Arithmetic, proof theory, and computational complexity

  1. 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.