-
1par Skolem Thoralf
[Univesity of Notre Dame Press] 1962Livre -
2par Skolem Thoralf, Hasenjaeger Gisbert, Kreisel Georg, Symposium on mathematical interpretation of formal systems
North-Holland Publishing Company 1971Livre