Teorija dokazateľstv - Takeuti, Gaisi (rz1, 1978)