Počet záznamov: 1
Free Heyting Algebras: Revisited
Údaje o názve Free Heyting Algebras: Revisited Záhlavie-meno Bezhanishvili, N. (Autor) Ďal.zodpovednosť Gehrke, M. (Autor) In Lecture Notes in Computer Science : Algebra and Coalgebra in Computer Science. -- Vol. 5728 (2009), s.251-266 Druh dok. RBX - článok z periodika Odkazy (4) - článok článok
Počet záznamov: 1