Castiglioni, J. L., & San Martin, H. J. (2012). The finite model property for the variety of Heyting algebras with successor. Web
Citación estilo ChicagoCastiglioni, José Luis, and Hernan Javier San Martin. The Finite Model Property for the Variety of Heyting Algebras With Successor. 2012.
Cita MLACastiglioni, José Luis, and Hernan Javier San Martin. The Finite Model Property for the Variety of Heyting Algebras With Successor. 2012.
Precaución: Estas citas no son 100% exactas.