Association for Symbolic Logic
organisation internationale spécialisée en logique / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Association for Symbolic Logic?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
L'Association for Symbolic Logic ou ASL, est une organisation internationale regroupant des spécialistes et chercheurs en logique mathématique et logique philosophique. L'ASL a été fondée en 1936[1] et son premier président fut Alonzo Church. Le président actuel de l'ASL est Alasdair Urquhart (en).
Faits en bref Fondation, Type ...
Association for Symbolic Logic (ASL)
Fondation |
1936 |
---|
Type |
Organisme de recherche international |
---|---|
Forme juridique | |
Domaines d'activité | |
Siège | |
Pays | |
Langue |
Président | |
---|---|
Président |
Alasdair Urquhart |
Vice Président |
Ulrich Kohlenbach |
Secrétaire |
Charles Steinhorn |
Site web |
Fermer