Castiglioni, J. L., & San Martín, H. J. (2012). The finite model property for the variety of Heyting algebras with successor.
Cita Chicago Style (17a ed.)Castiglioni, José Luis, y Hernán Javier San Martín. The Finite Model Property for the Variety of Heyting Algebras with Successor. 2012.
Cita MLA (8a ed.)Castiglioni, José Luis, y Hernán Javier San Martín. The Finite Model Property for the Variety of Heyting Algebras with Successor. 2012.
Precaución: Estas citas no son 100% exactas.