| Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics Yu. L. Ershov S. S. Goncharov A. Nerode J. B. Remmel V. W. Marek |
Yu. L. Ershov |
John N. Crossley |
The Bulletin of Symbolic Logic |
2001-03-00 |
| Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21 |
M. P. Fourman |
D. van Dalen |
The Journal of Symbolic Logic |
1985 |
| Algebra of Conscience: A Comparative Analysis of Western and Soviet Ethical Systems |
Vladimir A. Lefebvre |
Hayward R Alker Jr |
Ethics |
1984-04-01 |
| Applications of sheaves, Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21 |
M. P. Fourman |
Dirk van Dalen |
The Journal of Symbolic Logic |
1983 |
| The number systems. Foundations of algebra and analysis |
Solomon Feferman |
William E. Gould |
The Journal of Symbolic Logic |
1973 |
| H. Jerome Keisler. Infinite quantifiers and continuous games. Applications of model theory to algebra, analysis, and probability |
W. A. J. Luxemburg |
Jerome Malitz |
The Journal of Symbolic Logic |
1973 |
| W. A. J. Luxemburg. A general theory of monads. Applications of model theory to algebra, analysis, and probability |
W. A. J. Luxemburg |
Louis Narens |
The Journal of Symbolic Logic |
1971 |
| Algebra of analysis |
Karl Menger |
Alonzo Church |
The Journal of Symbolic Logic |
1945 |
