skip to main content
Primo Search
Search in: Busca Geral

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

Ver todas as versões
Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.