| COLLOCAZIONE | |
| TITOLO | On the possibility to use the subtractive calculus for the formalization of constructive theories. |
| AUTORE | JOHANSSON, Ingebrigt; |
| PAGINE | 60-64 |
| STA IN | CONGRES INTERNATIONAL DE PHILOSOPHIE, 14, Bruxelles, 1953. |
| Documento per sola consultazione interna | |