Association for Symbolic Logic
La Association for Symbolic Logic (ASL) es el organismo internacional de especialistas en lógica y lógica matemática de mayor prestigio a nivel mundial. Reconocido a nivel mundial en el campo de la teoría de modelos, fue fundado en 1936, un año crucial en el desarrollo de la lógica moderna, y su primer presidente fue Alonzo Church. Su presidente actual es Penelope Maddy. proporcionado por Wikipedia-
1Dordrecht, Holland ; Boston : D. Reidel Pub. Co.,v. ; 23 cm.“...Association for Symbolic Logic...”
-
2Pasadena, CA [etc.] Association for Symbolic Logic.v. 26 cm.Also available via the World Wide Web to subscribers of JSTOR.“...Association for Symbolic Logic...”