ruso
G. S. Tseytin es un destacado matemático y lógico conocido por sus contribuciones en el campo de la lógica matemática y la teoría de modelos, siendo especialmente famoso por el llamado 'Teorema de Tseytin'. Su trabajo ha tenido un impacto significativo en los desarrollos posteriores en estos campos.
Aparecen junto a G. S. Tseytin en búsquedas del archivo