On the definition of substitution, replacement and allied notions in a abstract formal system / Haskell B. Curry
Material type: ArticleLanguage: English Subject(s): Substitución In: Revue Philosophique de Louvain Antes, Revue Néo-Scolostique vol. 50, 1952, págs. 251-269Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Artículos de revista | San Esteban Depósito de revistas | Available |