Matemático ruso (Misheronskv, 1909 - Novosibirsk, 1967). Fue de gran interés su principio de localización, que generalizó el de compatibilidad de Gödel en el campo de la lógica matemática. Obtuvo resultados muy importantes en la teoría de modelos y sistemas algebraicos.