名古屋大学附属図書館




1

Логические основания прикладной математики

В.В. Налимов. -- Изд-во Московского университета, 1971.