Počet záznamů: 1

The Justification of Identity Elimination in Martin-Lof’s Type Theory

SYSNO	0508058
Název	The Justification of Identity Elimination in Martin-Lof’s Type Theory
Tvůrce(i)	Klev, Ansten (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	Topoi: an international review of philosophy. Roč. 38, č. 3 (2019), s. 577-590. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GJ17-18344Y GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	Justification of logical laws * Type theory * Identity
URL	https://link.springer.com/article/10.1007%2Fs11245-017-9509-1
Trvalý link	http://hdl.handle.net/11104/0299265

Počet záznamů: 1