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

Name: Une méthode de décision pour certaines formules du calcul des prédicats
Author: S. Issmann

by S. Issmann · 1 review · 1954

Reviewed by	Journal	Date	Access
Wilhelm Ackermann	The Journal of Symbolic Logic	1954	Restricted