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 Julian Hook
Logic
- A Many-Sorted Approach to Predicative Mathematics
- 1983 - PhD Thesis
on IBUKI disk - by permission of the author
|