User menu

On Natural Number Objects, Finiteness and Kripke-platek Models in Toposes

Bibliographic reference Loiseau, B. ; Mbilamambu, M.. On Natural Number Objects, Finiteness and Kripke-platek Models in Toposes. In: Journal of Pure and Applied Algebra, Vol. 61, no. 3, p. 257-266 (1989)
Permanent URL http://hdl.handle.net/2078.1/52130