Algebraic Geometry over Heyting Algebras
статья из журнала