Proposatutako topikoa bilaketarako iradokizunak
Erakusten 1 - 20 emaitzak -- 28 bilaketa honetara '"Proof theory"', Bilaketaren denbora: 0,03s Findu emaitzak
  1. 1
    Proof analysis : a contribution to Hilbert's last problem /
    nork Negri, Sara, Von Plato, Jan
    Argitaratua 2011
    Gaiak: “...Proof theory....”
    Cover image
    Printed Book
  2. 2
    Introduction to mathematical reasoning: numbers, sets and functions
    nork Eccles, Peter J
    Argitaratua 1997
    Gaiak: “...Proof theory...”
    Printed Book
  3. 3
    Proof theory: First step into impradictivity.
    nork Pohlers, Wolfram
    Argitaratua 2009
    Gaiak: “...Proof theory...”
    Printed Book
  4. 4
    Proof theory: sequent calculi and related formalisms
    nork Bimbo, Katalin
    Argitaratua 2015
    Gaiak: “...Proof theory...”
    Printed Book
  5. 5
    Applied proof theory: Proof interpretations and their use in mathematics/
    nork Kohlenbach,Ulrich
    Argitaratua 2008
    Gaiak: “...Proof theory....”
    Printed Book
  6. 6
    Introduction to mathematical proofs a transition
    nork Roberts, Charles E
    Argitaratua 2010
    Gaiak: “...Proof theory...”
    Printed Book
  7. 7
    Proof theory
    nork Takeuti, Gaisi
    Argitaratua 1975
    Gaiak: “...Proof theory. 8413...”
    Printed Book
  8. 8
    Proof theory: the first step into impredicativity /
    Argitaratua 2009
    Gaiak: “...Proof theory...”
    Printed Book
  9. 9
    Applied Proof Theory: Proof Interpretations and their use in Mathematics /
    Argitaratua 2008
    Gaiak: “...Mathematics- Proof theory...”
    Printed Book
  10. 10
    Proofs and computations /
    nork Schwichtenberg, Helmut, Wainer, S. S.
    Argitaratua 2012
    Gaiak: “...Proof theory....”
    Table of contents only
    Contributor biographical information
    Publisher description
    Printed Book
  11. 11
    Applied proof theory proof interpretations and their use in mathematics
    nork Kohlenbach. U.
    Argitaratua 2008
    Gaiak: “...Proof theory...”
    Printed Book
  12. 12
    Proofs and fundamentals: a first course in abstract mathematics/
    nork Bloch,Ethan D.
    Argitaratua 2011
    Gaiak: “...Proof theory...”
    Printed Book
  13. 13
    Mathematical proofs : a transition to advanced mathematics.- 3rd ed. /
    nork Chartrand, Gary
    Argitaratua 2013
    Gaiak: “...Proof theory Textbooks. 517...”
    Printed Book
  14. 14
    Handbook of mathematical induction: theory and applications
    nork Gunderson, David S.
    Argitaratua 2011
    Gaiak: “...Proof theory...”
    Printed Book
  15. 15
    Introduction to mathematical proofs : a transition /
    nork Roberts, Charles E.
    Argitaratua 2009
    Gaiak: “...Proof theory Textbooks...”
    Printed Book
  16. 16
    Understanding mathematical proof /
    nork Taylor, John
    Argitaratua 2014
    Gaiak: “...Proof theory. 521...”
    Printed Book
  17. 17
    Introduction to mathematical proofs : a transition /
    nork Roberts, Charles E.
    Argitaratua 2009
    Gaiak: “...Proof theory Textbooks....”
    Printed Book
  18. 18
    Proof theory sequent calculi and related formalisms
    nork Bimbo, Katalin
    Argitaratua 2015
    Gaiak: “...Proof theory...”
    Printed Book
  19. 19
    Handbook of mathematical induction : theory and applications /
    nork Gunderson, David S.
    Argitaratua 2011
    Gaiak: “...Proof theory....”
    Printed Book
  20. 20
    Handbook of mathematical induction : theory and applications /
    nork Gunderson, David S.
    Argitaratua 2011
    Gaiak: “...Proof theory....”
    Printed Book
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali