84 results Refine Results
  1. 1
    by Bernays, Paul, 1888-
    Published 1976
    Book
    Save to List
    Saved in:
    Abhandlungen zur Philosophie der Mathematik /
  2. 2
    Published 2013
    Book
    Save to List
    Saved in:
    Alan Turing : his work and impact /
  3. 3
    by Nelson, Leonard, 1882-1927
    Published 1959
    Book
    Save to List
    Saved in:
    Beitrage zur Philosophie der Logik und Mathematik /
  4. 4
    Published 2000
    Book
    Save to List
    Saved in:
    Between logic and intuition : essays in honor of Charles Parsons /
  5. 5
    Connect to
    Book
    Save to List
    Saved in:
    The Big Typescript, TS 213 /
  6. 6
    by Morash, Ronald P.
    Published 1987
    Book
    Save to List
    Saved in:
    Bridge to abstract mathematics : mathematical proof and structures /
  7. 7
    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 /
  8. 8
    by Church, Alonzo, 1903-1995
    Published 2019
    Book
    Save to List
    Saved in:
    The collected works of Alonzo Church /
  9. 9
    by Wang, Hao, 1921-
    Published 1990
    Book
    Save to List
    Saved in:
    Computation, logic, philosophy : a collection of essays /
  10. 10
    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 /
  11. 11
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer logic : International Conference COLOG-88, Tallinn, USSR, December 1988 : proceedings /
  12. 12
    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.
  13. 13
    by Chihara, Charles S., 1932-
    Published 1990
    Book
    Save to List
    Saved in:
    Constructibility and mathematical existence /
  14. 14
    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 /
  15. 15
    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 /
  16. 16
    by Nidditch, P. H.
    Published 1962
    Book
    Save to List
    Saved in:
    The development of mathematical logic /
  17. 17
    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 /
  18. 18
    by Hein, James L.
    Published 2010
    Book
    Save to List
    Saved in:
    Discrete structures, logic, and computability /
  19. 19
    by Stanoyevitch, Alexander
    Published 2011
    Book
    Save to List
    Saved in:
    Discrete structures with contemporary applications /
  20. 20
    Published 1961
    Book
    Save to List
    Saved in:
    Essays on the foundations of mathematics, dedicated to A.A. Fraenkel on his seventieth anniversary /

Search Tools: