Castiglioni, J. L., & San Martín, H. J. (2012). The finite model property for the variety of Heyting algebras with successor. Web
Citación estilo ChicagoCastiglioni, José Luis, and Hernán Javier San Martín. The Finite Model Property for the Variety of Heyting Algebras With Successor. 2012.
Cita MLACastiglioni, José Luis, and 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.