Logika (Akademija nauk SSSR, 1956)