Suggested Topics within your search.
Showing 1 - 20 results of 138 for search '', query time: 0.02s Refine Results
  1. 1
    Foundation of abstract mathematics /

    Foundation of abstract mathematics / by Kurtz, David C.

    Published 1992
    Book
    Save to List
    Saved in:
  2. 2
    Symbolic logic and the real number system : an introduction to the foundations of number systems /

    Symbolic logic and the real number system : an introduction to the foundations of number systems / by Lightstone, A. H.

    Published 1965
    Book
    Save to List
    Saved in:
  3. 3
    Foundations of computing : system development with set theory and logic /

    Foundations of computing : system development with set theory and logic / by Scheurer, Thierry

    Published 1994
    Book
    Save to List
    Saved in:
  4. 4
    Discrete mathematics : based on Schaum's outline of theory and problems of discrete mathematics.

    Discrete mathematics : based on Schaum's outline of theory and problems of discrete mathematics.

    Published 2003
    Book
    Save to List
    Saved in:
  5. 5
    Elements of the theory of computation /

    Elements of the theory of computation / by Lewis, Harry R.

    Published 1998
    Book
    Save to List
    Saved in:
  6. 6
    Foundational Theories of Classical and Constructive Mathematics

    Foundational Theories of Classical and Constructive Mathematics by Sommaruga, Giovanni

    Published 2011
    Get full text
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Uncertain inference

    Uncertain inference by Kyburg, Henry Ely, 1928-

    Published 2001
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Proof, logic, and formalization

    Proof, logic, and formalization

    Published 1992
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  9. 9
    Proof and knowledge in mathematics

    Proof and knowledge in mathematics

    Published 1992
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Mathematical logic

    Mathematical logic by Tourlakis, George J.

    Published 2003
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    Set theory

    Set theory by Tourlakis, George J.

    Published 2003
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  12. 12
    Paradox and paraconsistency conflict resolution in the abstract sciences /

    Paradox and paraconsistency conflict resolution in the abstract sciences / by Woods, John

    Published 2003
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    Gödel's incompleteness theorems

    Gödel's incompleteness theorems by Smullyan, Raymond M.

    Published 1992
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Mathematical logic in the 20th century

    Mathematical logic in the 20th century

    Published 2003
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  15. 15
    Publications 1929-1936 /

    Publications 1929-1936 / by Gödel, Kurt

    Published 1986
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  16. 16
    Recursion theory for metamathematics

    Recursion theory for metamathematics by Smullyan, Raymond M.

    Published 1993
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    In the light of logic

    In the light of logic by Feferman, Solomon

    Published 1998
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    The Oxford handbook of philosophy of mathematics and logic

    The Oxford handbook of philosophy of mathematics and logic

    Published 2005
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  19. 19
    The equations icons of knowledge /

    The equations icons of knowledge / by Bais, Sander

    Published 2005
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  20. 20
    Advances in logic, artificial intelligence, and robotics LAPTEC 2002 /

    Advances in logic, artificial intelligence, and robotics LAPTEC 2002 /

    Published 2002
    An electronic book accessible through the World Wide Web; click to view
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:

Search Tools: