Search alternatives:
symbol » symbols (Expand Search), symbolic (Expand Search)
Showing 1 - 8 results of 8 for search '"Symbol."', query time: 0.19s Refine Results
  1. 1
    Constructive order types /
    by Crossley, John N.
    Published 1969
    Subjects: “...Logic, Symbolic and mathematical....”
    Book
  2. 2
    Sets, models and recursion theory /
    Published 1967
    Subjects: “...Logic, Symbolic and mathematical....”
    Conference Proceeding Book
  3. 3
    Formal systems and recursive functions ; proceedings /
    Published 1965
    Subjects: “...Logic, Symbolic and mathematical Congresses....”
    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
    Subjects: “...Logic, Symbolic and mathematical Congresses....”
    Book
  5. 5
    Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /
    by Crossley, John N.
    Published 1993
    Subjects: “...Logic, Symbolic and mathematical....”
    Connect to the full text of this electronic book
    eBook
  6. 6
    Adapting proofs-as-programs : the Curry-Howard protocol /
    by Poernomo, Iman Hafiz, 1976-
    Published 2005
    Subjects: “...Logic, Symbolic and mathematical....”
    Book
  7. 7
    Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia /
    Published 1975
    Subjects: “...Logic, Symbolic and mathematical Congresses....”
    Connect to the full text of this electronic book
    eBook
  8. 8
    Adapting proofs-as-programs : the Curry-Howard protocol /
    by Poernomo, Iman Hafiz, 1976-
    Published 2005
    Subjects: “...Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115...”
    Connect to the full text of this electronic book
    Publisher description
    eBook
Search Tools: RSS Feed – Email Search