Počet záznamů: 1
Some (Non)Tautologies of Lukasiewicz and Product Logic
- 1.
SYSNO 0343867 Název Some (Non)Tautologies of Lukasiewicz and Product Logic Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI Zdroj.dok. Review of Symbolic Logic. Roč. 3, č. 2 (2010), s. 273-278. - : Cambridge University Press Druh dok. Článek v odborném periodiku Grant 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. GB Klíč.slova Lukasiewicz logic * product logic * tautology * (non)tautology Trvalý link http://hdl.handle.net/11104/0186242
Počet záznamů: 1