Teorija dokazatel'stv - Takeuti, Gaisi, 1926-2017 (Mír, 1978)