Showing 101 - 110 results of 342 for search '"Kurt Gödel"', query time: 0.19s Refine Results
  1. 101
    Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings /
    by Gottlob, G (Georg)
    Published 1993

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
  2. 102
    Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
    by Gottlob, G (Georg)
    Published 1997

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
  3. 103
    Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
    Published 1997

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
  4. 104
    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:
  5. 105
    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:
  6. 106
    Le théorème de Gödel /
    Published 1997
    Table of Contents: “... apparentés I / par Kurt Gödel ; traduit de l'allemand, Über formal unentscheidbare Sätze der Principia...”

    Book
    Save to List
    Saved in:
  7. 107
    Philosophische Notizbücher / Philosophical Notebooks
    Table of Contents: “...Kurt Gödel - Philosophische Notizbücher ... --...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
  8. 108
    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:
  9. 109
    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. 110
    Philosophische Notizbücher Philosophical notebooks.
    by Gödel, Kurt
    Published 2021

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search