Proceedings of the XIth International Congress of Philosophy

Volume 14, 1953

Additional Volume and Contributions to the Symposium on Logic

S. Issmann
Pages 35-38

Une méthode de décision pour certaines formules du calcul des prédicats