Back Association for Symbolic Logic German Association for Symbolic Logic English Association for Symbolic Logic Spanish Асоціація символьної логіки Ukrainian
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 |
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).
- ↑ (en) American Mathematical Society, Bulletin of the American Mathematical Society, vol. {XLII}, Université du Michigan, Society, (lire en ligne), p. 478 & 762