Suggested Topics within your search.
Showing 1 - 20 results of 42 for search '"proof theory"', query time: 0.05s Refine Results
  1. 1
    Proof theory: First step into impradictivity.
    by Pohlers, Wolfram
    Published 2009
    Subjects: “...Proof theory...”
    Printed Book
  2. 2
    Proof theory
    by Takeuti, Gaisi
    Published 1975
    Subjects: “...Proof theory. 8413...”
    Printed Book
  3. 3
    Proof theory: A selection of papers from the leeds theory programme
    by Aczel, Peter, Ed
    Published 1992
    Printed Book
  4. 4
    Proof theory sequent calculi and related formalisms
    by Bimbo, Katalin
    Published 2015
    Subjects: “...Proof theory...”
    Printed Book
  5. 5
    Proof theory
    by Schutte, Kurt
    Published 1977
    Printed Book
  6. 6
    Applied proof theory: Proof interpretations and their use in mathematics/
    by Kohlenbach,Ulrich
    Published 2008
    Subjects: “...Proof theory....”
    Printed Book
  7. 7
    Applied proof theory proof interpretations and their use in mathematics
    by Kohlenbach. U.
    Published 2008
    Subjects: “...Proof theory...”
    Printed Book
  8. 8
    Applied proof theory : proof interpretations and their use in mathematics /
    by Kohlenbach, U.
    Published 2008
    Subjects: “...Proof theory....”
    Printed Book
  9. 9
    Proof analysis : a contribution to Hilbert's last problem /
    by Negri, Sara, Von Plato, Jan
    Published 2011
    Subjects: “...Proof theory....”
    Cover image
    Printed Book
  10. 10
    Introduction to mathematical reasoning: numbers, sets and functions
    by Eccles, Peter J
    Published 1997
    Subjects: “...Proof theory...”
    Printed Book
  11. 11
    Proof theory: sequent calculi and related formalisms
    by Bimbo, Katalin
    Published 2015
    Subjects: “...Proof theory...”
    Printed Book
  12. 12
    Proof Theory for fuzzy logics
    by Metcalfe, George
    Published 2009
    Printed Book
  13. 13
    Proof theory for fuzzy logic
    by Metcalfe, George, et al
    Published 2009
    Printed Book
  14. 14
    ISILC proof theory symposium
    Published 1975
    Printed Book
  15. 15
    Proof theory: the first step into impredicativity/
    by Pohlers, Wolfram
    Published 2009
    Printed Book
  16. 16
    Proof theory: the first step into impredicativity /
    Published 2009
    Subjects: “...Proof theory...”
    Printed Book
  17. 17
    Introduction to mathematical proofs a transition
    by Roberts, Charles E
    Published 2010
    Subjects: “...Proof theory...”
    Printed Book
  18. 18
    Applied Proof Theory: Proof Interpretations and their use in Mathematics /
    Published 2008
    Subjects: “...Mathematics- Proof theory...”
    Printed Book
  19. 19
    Logic programming: operational semantics and proof theory
    by Andrews, James H
    Published 1992
    Printed Book
  20. 20
    Proofs and computations /
    Subjects: “...Proof theory....”
    Table of contents only
    Contributor biographical information
    Publisher description
    Printed Book
Search Tools: Get RSS Feed — Email this Search