Report - Fórmulas Barcan de segundo orden y universales trascendentesy (CFB) para lógica modal cuantificacional de orden superior, justifi-cando la existencia de universales trascendentes.

Please pass captcha verification before submit form