Počet záznamů: 1
The Justification of Identity Elimination in Martin-Lof’s Type Theory
- 1.KLEV, Ansten. The Justification of Identity Elimination in Martin-Lof’s Type Theory. Topoi: an international review of philosophy. 2019, 38(3), 577-590. ISSN 0167-7411. Dostupné z: doi: 10.1007/s11245-017-9509-1.
Počet záznamů: 1