Association for Symbolic Logic

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Association for Symbolic Logic', query time: 0.01s Refine Results
  1. 1
    Proceedings of the Second Scandinavian Logic Symposium /
    Conference Proceeding Book
    Published 1971
    “…Association for Symbolic Logic…”
    Save to List
    Saved in:
  2. 2
    Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
    Conference Proceeding Book
    Published 1988
    “…Association for Symbolic Logic…”
    Save to List
    Saved in:
  3. 3
    Formal systems and recursive functions : proceedings /
    Conference Proceeding Book
    Published 1965
    “…Association for Symbolic Logic…”
    Save to List
    Saved in:
  4. 4
    The theory of models : proceedings /
    Conference Proceeding Book
    Published 1965
    “…Association for Symbolic Logic…”
    Save to List
    Saved in:
  5. 5
    Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /
    Conference Proceeding Book
    Published 1990
    “…Association for Symbolic Logic…”
    Save to List
    Saved in:
  6. 6
    Proceedings : Fourth Annual Symposium on Logic in Computer Science /
    Conference Proceeding Book
    Published 1989
    “…Association for Symbolic Logic…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search