@article{Troelstra1975, author = {Troelstra, A.}, journal = {Fundamenta Mathematicae}, language = {eng}, number = {4}, pages = {307-322}, title = {Non-extensional equality}, url = {http://eudml.org/doc/214670}, volume = {82}, year = {1975}, }
TY - JOUR AU - Troelstra, A. TI - Non-extensional equality JO - Fundamenta Mathematicae PY - 1975 VL - 82 IS - 4 SP - 307 EP - 322 LA - eng UR - http://eudml.org/doc/214670 ER -