Reviews matching “Une méthode de décision pour certaines formules du calcul des prédicats”

1 result

BookAuthorReviewerJournalDate
Une méthode de décision pour certaines formules du calcul des prédicats S. Issmann Wilhelm Ackermann The Journal of Symbolic Logic 1954

Open this search with filters