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

Public ISBD contenu dans Actes du XIème congrès international de philosophie, Bruxelles, 20-26 août 1953, XIV. Volume complémentaire et communications du colloque de logique Titre : Une méthode de décision pour certaines formules du calcul des prédicats Type de document : texte imprimé Auteurs : S. Issmann, Auteur Importance : P. 35-38 Langues : Français (fre) Catégories : Calcul des prédicats Logique mathématique contenu dans Actes du XIème congrès international de philosophie, Bruxelles, 20-26 août 1953, XIV. Volume complémentaire et communications du colloque de logique Une méthode de décision pour certaines formules du calcul des prédicats [texte imprimé] / S. Issmann, Auteur . - [s.d.] . - P. 35-38. Langues : Français (fre) Catégories : Calcul des prédicats Logique mathématique

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 1 / 1) Par page : 25 50 100 200