Showing 1 - 20 results of 119 for search '"proof theory"', query time: 0.08s Refine Results
  1. 1
    Proof Theory The First Step into Impredicativity /
    by Pohlers, Wolfram
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Proof theory /
    by Takeuti, Gaisi 1926-
    Published 1975
    Book
  3. 3
    100 Mathematical proof /
    by Garnier, Rowan
    Published 1996
    Subjects: “…Proof theory…”
    Book
  4. 4
    Proceedings of the 2015 Conference on Certified Programs and Proofs
    Published 2015
    Subjects: “…Proof theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 5
    Advances in Proof Theory
    Published 2016
    Table of Contents: “…: The operational perspective -- R. Gore: Formally verified proof-theory using Isabelle/HOL -- P. Minari: Analytic…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Basic proof theory /
    by Troelstra, A. S. (Anne Sjerp)
    Published 1996
    Book
  7. 7
    Handbook of proof theory
    Published 1998
    Book
  8. 8
    Basic proof theory /
    by Troelstra, A. S. (Anne Sjerp)
    Published 2000
    Book
  9. 9
    Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
    Published 2014
    Subjects: “…Proof theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 10
    Proceedings of ACM conference on Proving assertions about programs
    Published 1972
    Subjects: “…Proof theory…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice
    Published 2013
    Subjects: “…Proof theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 12
    Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
    Published 2001
    Table of Contents: “… Features in a Calculus with Frozen Variables -- Proof Theory and Post-turing Analysis -- Interpolation…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
    Published 1997
    Table of Contents: “… infinitary proof theory -- Alogtime algorithms for tree isomorphism, comparison, and canonization…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Proof Theory and Algebra in Logic
    by Ono, Hiroakira, Ono, Hiroakira
    Published 2019
    Table of Contents: “…Introduction -- Part I Proof Theory -- Sequent systems -- Cut elimination for sequent systems…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Proof Theory for Fuzzy Logics
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Proof theory and intuitionistic systems /
    by Scarpellini, Bruno
    Published 1971
    Book
  17. 17
    ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
    Published 1975
    Conference Proceeding Book
  18. 18
    An Introduction to the Language of Mathematics
    Subjects: “…Proof theory.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  20. 20
    Η λογική των προτάσεων, προτασιακός λογισμός
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
Search Tools: RSS Feed – Email Search