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

Note on arithmetic models for consistent formulae of the predicate calculus II / G. Kreisel

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 : Note on arithmetic models for consistent formulae of the predicate calculus II Type de document : texte imprimé Auteurs : G. Kreisel, Auteur Importance : P. 39-49 Note générale : Bibliographie Langues : Anglais (eng) 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 Note on arithmetic models for consistent formulae of the predicate calculus II [texte imprimé] / G. Kreisel, Auteur . - [s.d.] . - P. 39-49. Bibliographie Langues : Anglais (eng) Catégories : Calcul des prédicats Logique mathématique

Exemplaires(0)

Disponibilité
aucun exemplaire

---

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