Showing 1 - 8 results of 8 for search '', query time: 0.18s Refine Results
  1. 1
    Sets, models and recursion theory /
    Published 1967
    Conference Proceeding Book
  2. 2
    Constructive order types /
    by Crossley, John N.
    Published 1969
    Book
  3. 3
    Formal systems and recursive functions ; proceedings /
    Published 1965
    Conference Proceeding Book
  4. 4
    Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
    Published 1975
    Book
  5. 5
    Adapting proofs-as-programs : the Curry-Howard protocol /
    by Poernomo, Iman Hafiz, 1976-
    Published 2005
    Book
  6. 6
    Adapting proofs-as-programs : the Curry-Howard protocol /
    by Poernomo, Iman Hafiz, 1976-
    Published 2005
    Connect to the full text of this electronic book
    Publisher description
    eBook
  7. 7
    Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
    Published 1975
    Connect to the full text of this electronic book
    eBook
  8. 8
    Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /
    by Crossley, John N.
    Published 1993
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search