Search Results - "proof theory"

Suggested Topics within your search.
Refine Results
  1. 1
    Proof theory

    Proof theory by Takeuti, Gaisi 1926-

    Published 1975
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Proff theory

    Proff theory by Takeuti, G

    Published 1975
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    An accompaniment to higher mathematics

    An accompaniment to higher mathematics by Exner, George R

    Published 1996
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Journey into mathematics an introduction to proofs

    Journey into mathematics an introduction to proofs by Rotman, Joseph J.

    Published 1998
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    The Nuts and bolts of proofs

    The Nuts and bolts of proofs by Cupillari, Antonella

    Published 1989
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    Proof, logic and formalizaton

    Proof, logic and formalizaton

    Published 1992
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    Introduction to proofs in mathematics

    Introduction to proofs in mathematics by Franklin, James

    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    The structure of proof with logic and set theory

    The structure of proof with logic and set theory by O'Leary, Michael L.

    Published 2002
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 9
    Mathematical proofs a transition to advanced mathematics

    Mathematical proofs a transition to advanced mathematics by Chartrand, Gary

    Published 2003
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 10
    Mathematical reasoning writing and proof

    Mathematical reasoning writing and proof by Sundstrom, Theodore A.

    Published 2003
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  11. 11
    Mathematical reasoning writing and proof

    Mathematical reasoning writing and proof by Sundstrom, Theodore A.

    Published 2007
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  12. 12
    Methods of cut-elimination

    Methods of cut-elimination by Baaz, Matthias

    Published 2011
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  13. 13
    Introduction to proofs in mathematics

    Introduction to proofs in mathematics by Franklin, James 1953-

    Published 1988
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  14. 14
    Selected papers in proof theory

    Selected papers in proof theory by Mints, G. E

    Published 1992
    Subjects: “…Proof theory.…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  15. 15
    The power of interaction

    The power of interaction by Lund, Carsten 1963-

    Published 1992
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  16. 16
    Proof theory and logical complexity

    Proof theory and logical complexity by Girard, Jean-Yves

    Published 1987
    Subjects: “…Proof theory…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  17. 17
    Mathematical proofs a transition to advanced mathematics

    Mathematical proofs a transition to advanced mathematics by Chartrand, Gary, Polimeni, Albert D. 1938-

    Published 2008
    Subjects: “…Proof theory Textbooks…”
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:
  18. 18
    Analysis an introduction to proof

    Analysis an introduction to proof by Lay, Steven R

    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  19. 19
    Analysis with an introduction to proof

    Analysis with an introduction to proof by Lay, Steven R. 1944-

    Published 2001
    Subjects:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  20. 20
    Analysis with an introduction to proof

    Analysis with an introduction to proof by Lay, Steven R. 1944-

    Published 2006
    Subjects:
    Click Here to View Status and Holdings.
    Book

    Save to List
    Saved in:

Search Tools: