Další formáty:
BibTeX
LaTeX
RIS
@misc{1108733, author = {Raclavský, Jiří}, keywords = {Transparent Intensional Logic}, language = {eng}, note = {(zvaná přednáška)}, title = {An Introduction to Transparent Intensional Logic}, year = {2013} }
TY - SLIDE ID - 1108733 AU - Raclavský, Jiří PY - 2013 TI - An Introduction to Transparent Intensional Logic N1 - (zvaná přednáška) KW - Transparent Intensional Logic N2 - The aim of the talk is to present the core of TIL, Pavel Tichý's Transparent intensional logic - two kinds of functions, type theory, deduction, and its essential applications, esp. in the philosophy of language. ER -
RACLAVSKÝ, Jiří. \textit{An Introduction to Transparent Intensional Logic}. 2013.
|