- Tytuł:
- Non-extensional equality
- Autorzy:
- Troelstra, A.
- Powiązania:
- https://bibliotekanauki.pl/articles/1364713.pdf
- Data publikacji:
- 1975
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Źródło:
-
Fundamenta Mathematicae; 1974-1975, 82, 4; 307-322
0016-2736 - Pojawia się w:
- Fundamenta Mathematicae
- Dostawca treści:
- Biblioteka Nauki
Artykuł