Transparent Intensional Logic: A Challenge

Počet záznamů: 1

1.

SYSNO	0379954
Název	Transparent Intensional Logic: A Challenge
Tvůrce(i)	Materna, Pavel (FLU-F)_{RID, ORCID}
Zdroj.dok.	The Logica Yearbook 2011. S. 153-179. - London : College Publications, 2012 / Peliš M. ; Punčochář V.
Konference	LOGICA 2011, Hejnice, 20.06.2011-24.06.2011
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GAP401/10/0792 GA ČR - Grantová agentura ČR, CZ - Česká republika
	GAP401/10/1279 GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	TIL * hierarchy of types * procedural isomorphism
Trvalý link	http://hdl.handle.net/11104/0210797

Počet záznamů: 1