ruso
Grigori S. Tseitin fue un destacado matemático y lógico ruso, conocido por sus contribuciones a la teoría de la computación y la lógica matemática. Su trabajo sobre las fórmulas de Tseitin y su influencia en la programación lógica lo han hecho relevante en la informática moderna.
1970·no ficcion
Un tratado avanzado sobre los principios abstractos de la computación, que examina las máquinas de Turing, la complejidad computacional y las fronteras de lo computable, con un enfoque riguroso desde una perspectiva soviética.
Aparecen junto a Grigori S. Tseitin en búsquedas del archivo
