Non-extensional equality

Instytut Matematyczny Polskiej Akademii Nauk / Institute of Mathematics / Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

A. Troelstra Fundamenta Mathematicae 82 (1975), 307-322 DOI: 10.4064/fm-82-4-307-322