User menu

A note on intuitionistic models of ZF

Bibliographic reference Lavendhomme, René ; Lucas, Thierry. A note on intuitionistic models of ZF. In: Notre Dame Journal of Formal Logic, Vol. 24, no. 1, p. 54-66 (1983)
Permanent URL http://hdl.handle.net/2078.1/66455