Počet záznamů: 1
Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions
- 1.
SYSNO 0508538 Název Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions Tvůrce(i) Pezlar, Ivo (FLU-F) ORCID, RID, SAI Zdroj.dok. The Logica Yearbook 2018. S. 197-210. - London : College Publications, 2019 / Sedlár I. ; Blicha M. Konference Logica 2018, 18.06.2018 - 22.06.2018, Hejnice Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GJ17-18344Y GA ČR - Grantová agentura ČR, CZ - Česká republika Institucionální podpora FLU-F - RVO:67985955 Jazyk dok. eng Země vyd. GB Klíč.slova Transparent Intensional Logic * procedural semantics * logic of problems * procedural isomorphism Trvalý link http://hdl.handle.net/11104/0299549
Počet záznamů: 1