Search Results - "Oxford logic guides ;"

Suggested Topics within your search.
  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Gödel's incompleteness theorems

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

    Published 1992
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Recursion theory for metamathematics

    Recursion theory for metamathematics by Smullyan, Raymond M.

    Published 1993
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Foundations without foundationalism a case for second-order logic.

    Foundations without foundationalism a case for second-order logic. by Shapiro, Stewart, 1951-

    Published 2000
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Introduction to logic and to the methodology of the deductive sciences

    Introduction to logic and to the methodology of the deductive sciences by Tarski, Alfred

    Published 1994
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Introduction to logic and to the methodology of the deductive sciences

    Introduction to logic and to the methodology of the deductive sciences by Tarski, Alfred

    Published 1994
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Gödel's incompleteness theorems

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

    Published 1992
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Recursion theory for metamathematics

    Recursion theory for metamathematics by Smullyan, Raymond M.

    Published 1993
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Foundations without foundationalism a case for second-order logic.

    Foundations without foundationalism a case for second-order logic. by Shapiro, Stewart, 1951-

    Published 2000
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  9. 9
    Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /

    Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /

    Published 1998
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /

    Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /

    Published 1998
    “…Oxford logic guides ;…”
    An electronic book accessible through the World Wide Web; click to view
    Electronic eBook
    Save to List
    Saved in:

Search Tools: