|
|
Пишет Чуча (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} polter) |
Goldblatt, R., 1979, Topoi: The Categorical Analysis of Logic, Studies in logic and the foundations of mathematics, Amsterdam: Elsevier.
Bell, J. L., 1988, Toposes and Local Set Theories: An Introduction, Oxford: Oxford University Press.
Bunge, M., 1984, "Toposes in Logic and Logic in Toposes", Topoi, 3, no. 1, 13–22.
Mac Lane, S., 1975, "Sets, Topoi, and Internal Logic in Categories", Studies in Logic and the Foundations of Mathematics, 80, Amsterdam: North Holland, 119–134.
Bell, J. L., 1988, Toposes and Local Set Theories: An Introduction, Oxford: Oxford University Press.
Bunge, M., 1984, "Toposes in Logic and Logic in Toposes", Topoi, 3, no. 1, 13–22.
Mac Lane, S., 1975, "Sets, Topoi, and Internal Logic in Categories", Studies in Logic and the Foundations of Mathematics, 80, Amsterdam: North Holland, 119–134.
Добавить комментарий:
