![](/img/cover-not-exists.png)
Decidability in elementary analysis, II
Harvey Friedman, Ákos SeressVolume:
79
Year:
1990
Language:
english
Pages:
17
Journal:
Advances in Mathematics
DOI:
10.1016/0001-8708(90)90056-s
File:
PDF, 973 KB
english, 1990