Suggested Topics within your search.
Showing 1 - 24 results of 24 for search '', query time: 0.06s Refine Results
  1. 1
    Geometry. Beginning proofs. Level I

    Geometry. Beginning proofs. Level I

    Published 2018
    Full text (MCPHS users only)
    Electronic Video
    Save to List
    Saved in:
  2. 2
    Handbook of Mathematical Induction.

    Handbook of Mathematical Induction. by Gunderson, David S.

    Published 2014
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    The elementary theory of groups : a guide through the proofs of the Tarski conjectures

    The elementary theory of groups : a guide through the proofs of the Tarski conjectures

    Published 2014
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Proof theory : sequent calculi and related formalisms

    Proof theory : sequent calculi and related formalisms by Bimbó, Katalin, 1963-

    Published 2014
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Three Views of Logic : Mathematics, Philosophy, and Computer Science.

    Three Views of Logic : Mathematics, Philosophy, and Computer Science. by Loveland, Donald W.

    Published 2014
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Charming Proofs : a Journey into Elegant Mathematics

    Charming Proofs : a Journey into Elegant Mathematics

    Published 2011
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Memoirs of a Proof Theorist : Gödel and Other Logicians.

    Memoirs of a Proof Theorist : Gödel and Other Logicians. by Passell, Nicholas

    Published 2003
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Proof Theory

    Proof Theory by Jervell, Herman Ruge

    Published 2013
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  9. 9
    An introduction to mathematical proofs

    An introduction to mathematical proofs by Loehr, Nicholas A.

    Published 2020
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    The Nuts and Bolts of Proofs.

    The Nuts and Bolts of Proofs. by Cupillari, Antonella

    Published 2005
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  11. 11
    2-D quadratic maps and 3-D ODE systems : a rigorous approach

    2-D quadratic maps and 3-D ODE systems : a rigorous approach by Zeraoulia, Elhadj

    Published 2010
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  12. 12
    Proof Logic and Formalization.

    Proof Logic and Formalization. by Detlefsen, Michael, 1948-

    Published 1992
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  13. 13
    Conditional and preferential logics : proof methods and theorem proving

    Conditional and preferential logics : proof methods and theorem proving by Pozzato, Gian Luca

    Published 2010
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Ways of proof theory

    Ways of proof theory by Schindler, Ralf

    Published 2010
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  15. 15
    Concepts of proof in mathematics, philosophy, and computer science

    Concepts of proof in mathematics, philosophy, and computer science

    Published 2016
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  16. 16
    An Introduction to Non-Classical Logic : From If to Is

    An Introduction to Non-Classical Logic : From If to Is by Priest, Graham

    2nd ed.
    Published 2008
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  17. 17
    Lectures on the Curry-Howard Isomorphism.

    Lectures on the Curry-Howard Isomorphism. by Urzyczyn, Pawel

    Published 2006
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  18. 18
    On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis

    On the Extraction of Computational Content from Noneffective Convergence Proofs in Analysis by Safarik, Pavol

    Published 2014
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  19. 19
    Icons of Mathematics : an Exploration of Twenty Key Images

    Icons of Mathematics : an Exploration of Twenty Key Images

    Published 2011
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  20. 20
    An Introduction to Non-Classical Logic : From If to Is

    An Introduction to Non-Classical Logic : From If to Is by Priest, Graham

    2nd ed.
    Published 2008
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  21. 21
    Logical Foundations of Proof Complexity.

    Logical Foundations of Proof Complexity. by Cook, Stephen, 1948-

    Published 2010
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  22. 22
    Icons of Mathematics : an Exploration of Twenty Key Images

    Icons of Mathematics : an Exploration of Twenty Key Images

    Published 2011
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  23. 23
    Proof and knowledge in mathematics

    Proof and knowledge in mathematics

    Published 1992
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:
  24. 24
    Proofs and Computations.

    Proofs and Computations. by Schwichtenberg, Helmut

    Published 2011
    Full text (MCPHS users only)
    Electronic eBook
    Save to List
    Saved in:

Search Tools: