Proceedings of the XIth International Congress of Philosophy

Volume 14, 1953

Additional Volume and Contributions to the Symposium on Logic

Ingebrigt Johansson
Pages 60-64

On the Possibility to use the Subtractive Calculus for the Formalization of Constructive Theories