A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY
PALMGREN, ERIK
The bulletin of symbolic logic, 2018-03, Vol.24 (1), p.90-106 [Periódico revisado por pares]New York: Association for Symbolic Logic, Inc
Texto completo disponível
Texto completo disponível