Showing 1 - 10 results of 18 for search '"Kurt Gödel"', query time: 0.30s Refine Results
  1. 1
    Gödel '96 : logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
    Published 2001
    Table of Contents: “...Kurt Godel and the constructive Mathematics of A.A. Markov /...”

    Conference Proceeding Book
    Save to List
    Saved in:
  2. 2
    Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /
    Published 2017

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  3. 3
    Gödel '96 : Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy /
    Published 2017

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  4. 4
    Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings /
    Published 1996
    Table of Contents: “... to Relativity and Cosmology / G. F. R. Ellis -- Kurt Godel and the constructive Mathematics of A. A. Markov...”

    Conference Proceeding Book
    Save to List
    Saved in:
  5. 5
    Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings /
    Published 1996
    “...Logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  6. 6
    Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings /
    Published 1993

    Conference Proceeding Book
    Save to List
    Saved in:
  7. 7
    Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings /
    Published 1993

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
    Save to List
    Saved in:
  8. 8
    Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings /
    Published 1997

    Conference Proceeding Book
    Save to List
    Saved in:
  9. 9
    Computer science logic : 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings /
    Published 2003

    Conference Proceeding Book
    Save to List
    Saved in:
  10. 10
    Computer science logic : 17th International Workshop, CSL 2003, 12th Annual conference of the EACSL, and the 8th Kurt Gödel Colloquium, KGC 2003 : proceedings /
    Published 2003

    Conference Proceeding Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search