Showing 1 - 20 results of 140 for search '', query time: 0.25s Refine Results
  1. 1
    Proof theory /
    by Schütte, K. (Kurt)
    Published 1977
    Book
  2. 2
    Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies /
    Published 1981
    Book
  3. 3
    Axiomatising the logic of computer programming /
    by Goldblatt, Robert
    Published 1982
    Connect to the full text of this electronic book
    eBook
  4. 4
    Metamathematical investigation of intuitionistic arithmetic and analysis /
    by Troelstra, A. S. (Anne Sjerp)
    Published 1973
    Book
  5. 5
    Tableau systems for first order number theory and certain higher order theories /
    by Toledo, Sue Ann, 1940-
    Published 1975
    Book
  6. 6
    Proof theory and intuitionistic systems.
    by Scarpellini, Bruno
    Published 1971
    Book
  7. 7
    Extensional Godel functional interpretation ; a consistency proof of classical analysis.
    by Luckhardt, Horst
    Published 1973
    Book
  8. 8
    The unprovability of consistency : an essay in modal logic /
    by Boolos, George
    Published 1979
    Book
  9. 9
    Algebra of proofs /
    by Szabo, M. E.
    Published 1978
    Book
  10. 10
    ISILC Proof Theory Symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
    Published 1975
    Conference Proceeding Book
  11. 11
    Logic in algebraic form. : Three languages and theories.
    by Craig, William
    Published 1974
    Book
  12. 12
    Logic, proof, and sets /
    by Bittinger, Marvin L.
    Published 1982
    Book
  13. 13
    Proof theory /
    by Takeuti, Gaisi, 1926-2017
    Published 1975
    Book
  14. 14
    Proof methods for modal and intuitionistic logics /
    by Fitting, Melvin, 1942-
    Published 1983
    Book
  15. 15
    Proof theory /
    by Takeuti, Gaisi, 1926-2017
    Published 1987
    Book
  16. 16
    Beweisen : e. prakt.-semant. Unters. /
    by Strecker, Bruno
    Published 1976
    Book
  17. 17
    Proofs and types /
    by Girard, Jean-Yves
    Published 1989
    Book
  18. 18
    Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
    by Wallen, Lincoln A.
    Published 1990
    Book
  19. 19
    Proof theory : an introduction /
    by Pohlers, Wolfram
    Published 1989
    Book
  20. 20
    On the shape of mathematical arguments /
    Book
Search Tools: RSS Feed – Email Search