7 results Refine Results
  1. 1
    Book
    Save to List
    Saved in:
    Degrees of Unsolvability /
  2. 2
    by Boolos, George
    Published 1980
    Book
    Save to List
    Saved in:
    Computability and logic /
  3. 3
    by Boolos, George
    Published 1974
    Book
    Save to List
    Saved in:
    Computability and logic /
  4. 4
    by Church, Alonzo, 1903-
    Published 1941
    Book
    Save to List
    Saved in:
    The calculi of lambda-conversion /
  5. 5
    Published 1965
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal systems and recursive functions : proceedings /
  6. 6
    by Yasuhara, Ann
    Published 1971
    Book
    Save to List
    Saved in:
    Recursive function theory and logic.
  7. 7
    by Alonzo Church
    Published 1941
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    The calculi of Lambda-conversion /

Search Tools: