Претрага по члановима комисија
Приказ резултата 1-3 од 3
-
Intersection types in lambda calculus and logic / Tipovi sa presekom u lambda računu i logici
(Универзитет у Новом Саду, Природно-математички факултет, 28-12-1993) -
Involutivne algebre / Involution Algebras
(Универзитет у Новом Саду, Природно-математички факултет, 24-07-2001) -
Univerzalno algebarski prilozi algebarskoj logici
(Универзитет у Новом Саду, Природно-математички факултет, 24-11-1989)