Dito Pataraia

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Dito Pataraia
Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras. J. Appl. Non Class. Logics 16 (3-4) (2006)
Leo Esakia, Mamuka Jibladze, Dito Pataraia
Scattered Toposes. Ann. Pure Appl. Log. 103 (1-3) (2000)