A Natural Deduction System for Keisler's Quantification. - Christian Jacques Rentería; Edward Hermann Haeusler (WoLLIC, 2004)

Uma Abordagem Geral para Quantificadores EM DeduçãO Natural. - Christian Jacques Rentería (2004)