%0 Journal Article
%A A. Troelstra
%T Non-extensional equality
%J Fundamenta Mathematicae
%D 1974
%P 307-322
%V 82
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-82-4-307-322/
%R 10.4064/fm-82-4-307-322
%G en
%F 10_4064_fm_82_4_307_322