IBUKI has collected together and indexed electronic (mostly PDF) editions of primary sources, books, articles and study guides for history, science and literature.
Works of Edward Nelson
Logic
- Predicative Arithmetic
- 1986
Mathematical Notes 32. Princeton
on IBUKI disk - without permission of the author
|