Teorija dokazatel´stv - Takeuti, Gaisi (Moskva : Mir, 1978)
Preklad z angl.