Математика, ее содержание методы и значение (АН СССР, 1956)