Teorija dokazatel´stv - Takeuti, Gaisi (Mir, 1978)