Other formats:
BibTeX
LaTeX
RIS
@book{353873, author = {Materna, Pavel and Štěpán, Jan}, address = {Olomouc}, keywords = {intensions; transparent intensional logic (TIL); constructions; deduction; formalism; hierarchy of types (simple; ramified)}, language = {cze}, location = {Olomouc}, isbn = {80-244-0109-6}, publisher = {Olomouc (Univerzita Palackého)}, title = {Filozofická logika: nová cesta?}, year = {2000} }
TY - BOOK ID - 353873 AU - Materna, Pavel - Štěpán, Jan PY - 2000 TI - Filozofická logika: nová cesta? PB - Olomouc (Univerzita Palackého) CY - Olomouc SN - 8024401096 KW - intensions KW - transparent intensional logic (TIL) KW - constructions KW - deduction KW - formalism KW - hierarchy of types (simple KW - ramified) N2 - Úvod do tzv. transparentní intenzionální logiky (TIL). Základní východiska a principy, definice základních pojmů. V Dodatku ukázky formálních postupů uplatněných v TIL. ER -
MATERNA, Pavel and Jan ŠTĚPÁN. \textit{Filozofická logika: nová cesta? (Philosophical logic: a new way?)}. Olomouc: Olomouc (Univerzita Palackého), 2000, 127 pp. ISBN~80-244-0109-6.
|