Počet záznamů: 1  

Logic as Based Incompability

  1. 1.
    SYSNO0364687
    NázevLogic as Based Incompability
    Tvůrce(i) Peregrin, Jaroslav (FLU-F) RID, ORCID, SAI
    Zdroj.dok. The Logica Yearbook 2010. S. 157-168. - London : College Publications, 2011 / Peliš M. ; Punčochář V.
    Konference LOGICA 2010, Hejnice, 21.06.2010-25.06.2010
    Druh dok.Konferenční příspěvek (zahraniční konf.)
    Grant GAP401/10/1279 GA ČR - Grantová agentura ČR, CZ - Česká republika
    CEZAV0Z90090514 - FLU-F (2005-2011)
    Jazyk dok.eng
    Země vyd.GB
    Klíč.slova incompatibility semantics * inference * intuitionist logic
    Trvalý linkhttp://hdl.handle.net/11104/0200104
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.