Open AccessOn non-constructive theorems of analysis and the decision problem
Author(s) -
R. L. Goodstein
Publication year - 1955
Publication title -
mathematica scandinavica
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.553
H-Index - 30
eISSN - 1903-1807
pISSN - 0025-5521
DOI - 10.7146/math.scand.a-10444
Subject(s) - mathematics , constructive , mathematical economics , calculus (dental) , discrete mathematics , computer science , process (computing) , programming language , medicine , dentistry