78 results Refine Results
  1. 1
    Published 2013
    Book
    Save to List
    Saved in:
    Alan Turing : his work and impact /
  2. 2
    Published 2000
    Book
    Save to List
    Saved in:
    Between logic and intuition : essays in honor of Charles Parsons /
  3. 3
    Connect to
    Book
    Save to List
    Saved in:
    The Big Typescript, TS 213 /
  4. 4
    by Morash, Ronald P.
    Published 1987
    Book
    Save to List
    Saved in:
    Bridge to abstract mathematics : mathematical proof and structures /
  5. 5
    by Davies, James E.
    Published 2009
    Connect to electronic version
    Thesis Book
    Save to List
    Saved in:
    Changes of setting and the history of mathematics : a new study of Frege : a thesis submitted in partial fulfilment of the degree of Master of Arts in History and Philosophy of Science /
  6. 6
    by Church, Alonzo, 1903-1995
    Published 2019
    Book
    Save to List
    Saved in:
    The collected works of Alonzo Church /
  7. 7
    by Wang, Hao, 1921-
    Published 1990
    Book
    Save to List
    Saved in:
    Computation, logic, philosophy : a collection of essays /
  8. 8
    by Kowalski, Robert
    Published 2011
    Connect to electronic resource
    Electronic eBook
    Save to List
    Saved in:
    Computational logic and human thinking how to be artificially intelligent /
  9. 9
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer logic : International Conference COLOG-88, Tallinn, USSR, December 1988 : proceedings /
  10. 10
    by Gödel, Kurt
    Published 1940
    Book
    Save to List
    Saved in:
    The consistency of the axiom of choice : and of the generalized continuum-hypothesis with the axioms of set theory.
  11. 11
    by Chihara, Charles S., 1932-
    Published 1990
    Book
    Save to List
    Saved in:
    Constructibility and mathematical existence /
  12. 12
    Published 1989
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /
  13. 13
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /
  14. 14
    by Nidditch, P. H.
    Published 1962
    Book
    Save to List
    Saved in:
    The development of mathematical logic /
  15. 15
    by Ensley, Douglas E.
    Published 2006
    Table of contents only
    Publisher description
    Book
    Save to List
    Saved in:
    Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games /
  16. 16
    by Hein, James L.
    Published 2010
    Book
    Save to List
    Saved in:
    Discrete structures, logic, and computability /
  17. 17
    by Stanoyevitch, Alexander
    Published 2011
    Book
    Save to List
    Saved in:
    Discrete structures with contemporary applications /
  18. 18
    Published 1961
    Book
    Save to List
    Saved in:
    Essays on the foundations of mathematics, dedicated to A.A. Fraenkel on his seventieth anniversary /
  19. 19
    by Linsky, Bernard
    Published 2011
    Book
    Save to List
    Saved in:
    The evolution of Principia mathematica : Bertrand Russell's manuscripts and notes for the second edition /
  20. 20
    by Montano, Ulianov
    Published 2014
    Manuscript Book
    Save to List
    Saved in:
    Explaining beauty in mathematics : an aesthetic theory of mathematics /

Search Tools: