Logika matematičeskovo myšlenija - Terebilov, Oleg Fedorovič (Izd. Leningradskogo Universiteta, 1987)