Tarski, A., Mostowski A., Robinson R.M. ...

Новости

17 Октября, 2025 Конкурс на замещение должности

10 Октября, 2025 Защита диссертаций

26 Сентября, 2025 Защита диссертаций

Tarski, A., Mostowski A., Robinson R.M.

[1953]

Undecidable theories

North-Holland

58.2684

SOR

book

Вернуться к поиску