4 results Refine Results
  1. 1
    Published 2001
    “...Association for Symbolic Logic,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Gödel '96 : logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
  2. 2
    by Church, Alonzo, 1903-1995
    Published 2019
    “...The MIT Press, Association for Symbolic Logic,...”
    Book
    Save to List
    Saved in:
    The collected works of Alonzo Church /
  3. 3
    by Franzén, Torkel
    Published 2004
    “...Association for Symbolic Logic ; A K Peters,...”
    Book
    Save to List
    Saved in:
    Inexhaustibility : a non-exhaustive treatment /
  4. 4
    Published 2002
    “...Association for Symbolic Logic ; A K Peters,...”
    Book
    Save to List
    Saved in:
    Reflections on the foundations of mathematics : essays in honor of Solomon Feferman /

Search Tools: