Showing 1 - 20 results of 24 for search '', query time: 0.03s Refine Results
  1. 1
    Gödel's Incompleteness theorems /

    Gödel's Incompleteness theorems / by Kennedy, Juliette, 1955-

    Published 2022
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  2. 2
    A Decision Method for Elementary Algebra and Geometry /

    A Decision Method for Elementary Algebra and Geometry / by Tarski, Alfred, McKinsey, J. C. C.

    Published 2020
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  3. 3
    Gödel's proof /

    Gödel's proof / by Nagel, Ernest, 1901-1985

    Published 2005
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  4. 4
    Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /

    Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /

    Published 1952
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  5. 5
    Undecidable theories /

    Undecidable theories /

    Published 1953
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  6. 6
    Word problems II : the Oxford book /

    Word problems II : the Oxford book /

    Published 1980
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  7. 7
    Gödel's proof,

    Gödel's proof, by Nagel, Ernest, 1901-1985

    Published 1958
    Book

    Save to List
    Saved in:
  8. 8
    Formal number theory and computability : a workbook /

    Formal number theory and computability : a workbook / by Fisher, Alec

    Published 1982
    Book

    Save to List
    Saved in:
  9. 9
    Enumerability, decidability, computability. An introduction to the theory of recursive functions.

    Enumerability, decidability, computability. An introduction to the theory of recursive functions. by Hermes, Hans

    Published 1969
    Book

    Save to List
    Saved in:
  10. 10
    Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /

    Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / by Mostowski, Andrzej

    Published 1982
    Book

    Save to List
    Saved in:
  11. 11
    Godel's theorem simplified /

    Godel's theorem simplified / by Gensler, Harry J., 1945-

    Published 1984
    Book

    Save to List
    Saved in:
  12. 12
    Gödel's theorem in focus /

    Gödel's theorem in focus /

    Published 1989
    Book

    Save to List
    Saved in:
  13. 13
    Shadows of the mind : a search for the missing science of consciousness /

    Shadows of the mind : a search for the missing science of consciousness / by Penrose, Roger

    Published 1994
    Book

    Save to List
    Saved in:
  14. 14
    The large, the small, and the human mind /

    The large, the small, and the human mind /

    Published 1997
    Book

    Save to List
    Saved in:
  15. 15
    Impossibility : the limits of science and the science of limits /

    Impossibility : the limits of science and the science of limits / by Barrow, John D., 1952-

    Published 1998
    Book

    Save to List
    Saved in:
  16. 16
    Jungian archetypes : Jung, Gödel, and the history of archetypes /

    Jungian archetypes : Jung, Gödel, and the history of archetypes / by Robertson, Robin, 1944-

    Published 1995
    Book

    Save to List
    Saved in:
  17. 17
    The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions.

    The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions. by Davis, Martin, 1928-

    Published 1965
    Book

    Save to List
    Saved in:
  18. 18
    Impossibility : the limits of science and the science of limits /

    Impossibility : the limits of science and the science of limits / by Barrow, John D., 1952-

    Published 1998
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  19. 19
    Metamathematics, machines, and Gödel's proof /

    Metamathematics, machines, and Gödel's proof / by Shankar, N.

    Published 1994
    CONNECT
    Electronic eBook

    Save to List
    Saved in:
  20. 20
    Kurt Gödel and the foundations of mathematics : horizons of truth /

    Kurt Gödel and the foundations of mathematics : horizons of truth /

    Published 2011
    CONNECT
    Electronic eBook

    Save to List
    Saved in:

Search Tools: