Pynciau a Argymhellir O fewn eich chwiliad
Dangos 1 - 20 canlyniadau o 28 ar gyfer chwilio '"Proof theory"', amser ymholiad: 0.04e Mireinio'r Canlyniadau
  1. 1
    Proof analysis : a contribution to Hilbert's last problem /
    gan Negri, Sara, Von Plato, Jan
    Cyhoeddwyd 2011
    Pynciau: “...Proof theory....”
    Cover image
    Printed Book
  2. 2
    Introduction to mathematical reasoning: numbers, sets and functions
    gan Eccles, Peter J
    Cyhoeddwyd 1997
    Pynciau: “...Proof theory...”
    Printed Book
  3. 3
    Proof theory: First step into impradictivity.
    gan Pohlers, Wolfram
    Cyhoeddwyd 2009
    Pynciau: “...Proof theory...”
    Printed Book
  4. 4
    Proof theory: sequent calculi and related formalisms
    gan Bimbo, Katalin
    Cyhoeddwyd 2015
    Pynciau: “...Proof theory...”
    Printed Book
  5. 5
    Applied proof theory: Proof interpretations and their use in mathematics/
    gan Kohlenbach,Ulrich
    Cyhoeddwyd 2008
    Pynciau: “...Proof theory....”
    Printed Book
  6. 6
    Introduction to mathematical proofs a transition
    gan Roberts, Charles E
    Cyhoeddwyd 2010
    Pynciau: “...Proof theory...”
    Printed Book
  7. 7
    Proof theory
    gan Takeuti, Gaisi
    Cyhoeddwyd 1975
    Pynciau: “...Proof theory. 8413...”
    Printed Book
  8. 8
    Proof theory: the first step into impredicativity /
    Cyhoeddwyd 2009
    Pynciau: “...Proof theory...”
    Printed Book
  9. 9
    Applied Proof Theory: Proof Interpretations and their use in Mathematics /
    Cyhoeddwyd 2008
    Pynciau: “...Mathematics- Proof theory...”
    Printed Book
  10. 10
    Proofs and computations /
    gan Schwichtenberg, Helmut, Wainer, S. S.
    Cyhoeddwyd 2012
    Pynciau: “...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
    gan Kohlenbach. U.
    Cyhoeddwyd 2008
    Pynciau: “...Proof theory...”
    Printed Book
  12. 12
    Proofs and fundamentals: a first course in abstract mathematics/
    gan Bloch,Ethan D.
    Cyhoeddwyd 2011
    Pynciau: “...Proof theory...”
    Printed Book
  13. 13
    Mathematical proofs : a transition to advanced mathematics.- 3rd ed. /
    gan Chartrand, Gary
    Cyhoeddwyd 2013
    Pynciau: “...Proof theory Textbooks. 517...”
    Printed Book
  14. 14
    Handbook of mathematical induction: theory and applications
    gan Gunderson, David S.
    Cyhoeddwyd 2011
    Pynciau: “...Proof theory...”
    Printed Book
  15. 15
    Introduction to mathematical proofs : a transition /
    gan Roberts, Charles E.
    Cyhoeddwyd 2009
    Pynciau: “...Proof theory Textbooks...”
    Printed Book
  16. 16
    Understanding mathematical proof /
    gan Taylor, John
    Cyhoeddwyd 2014
    Pynciau: “...Proof theory. 521...”
    Printed Book
  17. 17
    Introduction to mathematical proofs : a transition /
    gan Roberts, Charles E.
    Cyhoeddwyd 2009
    Pynciau: “...Proof theory Textbooks....”
    Printed Book
  18. 18
    Proof theory sequent calculi and related formalisms
    gan Bimbo, Katalin
    Cyhoeddwyd 2015
    Pynciau: “...Proof theory...”
    Printed Book
  19. 19
    Handbook of mathematical induction : theory and applications /
    gan Gunderson, David S.
    Cyhoeddwyd 2011
    Pynciau: “...Proof theory....”
    Printed Book
  20. 20
    Handbook of mathematical induction : theory and applications /
    gan Gunderson, David S.
    Cyhoeddwyd 2011
    Pynciau: “...Proof theory....”
    Printed Book
Offerynnau Chwilio: Cael Porthiant RSS — E-bostio'r Chwiliad hwn