On the definition of substitution, replacement and allied notions in a abstract formal system
pp. 251-269
Publication details
Published in:
(1952) Revue philosophique de Louvain 50 (26).
Pages: 251-269
Full citation:
(1952) „On the definition of substitution, replacement and allied notions in a abstract formal system“. Revue philosophique de Louvain 50 (26), 251–269.