Remarks on undecidability, incompleteness and the integrability problem
scientific article; zbMATH DE number 5808545
scientific article