On the possibility to use the subtractive calculus for the formalization of constructive theories / Ingebrigt Johansson

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 : On the possibility to use the subtractive calculus for the formalization of constructive theories Type de document : texte imprimé Auteurs : Ingebrigt Johansson, Auteur Importance : P. 60-64 Langues : Anglais (eng) Catégories : 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 On the possibility to use the subtractive calculus for the formalization of constructive theories [texte imprimé] / Ingebrigt Johansson, Auteur . - [s.d.] . - P. 60-64. Langues : Anglais (eng) Catégories : Logique mathématique

Exemplaires(0)

Disponibilité
aucun exemplaire

---

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