Showing 1 - 20 results of 20 for search '"Proof theory."', query time: 0.06s Refine Results
  1. 1
    100 Mathematical proof /
    by Garnier, Rowan
    Published 1996
    Subjects: “…Proof theory…”
    Book
  2. 2
    Proceedings of the 2015 Conference on Certified Programs and Proofs
    Published 2015
    Subjects: “…Proof theory…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    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
  4. 4
    Proceedings of ACM conference on Proving assertions about programs
    Published 1972
    Subjects: “…Proof theory…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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
  6. 6
    An Introduction to the Language of Mathematics
    Subjects: “…Proof theory.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  8. 8
    Η λογική των προτάσεων, προτασιακός λογισμός
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  9. 9
    Αποδεικτικό σύστημα
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  10. 10
    Σύστημα Hilbert
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  11. 11
    Συστήματα Gentzen
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  12. 12
    Υπολογισιμότητα, αναδρομικές συναρτήσεις
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  13. 13
    Τα Θεωρήματα μη πληρότητας του Gödel
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  14. 14
    Συστήματα Tableaux
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  15. 15
    Πρωτοβάθμια κατηγορηματική Λογική
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  16. 16
    Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  17. 17
    Μαθηματική λογική
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    Get full text
    1
  18. 18
    Sets, Models and Proofs
    Subjects: “…Proof theory.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Arabic Logic from al-Fārābī to Averroes A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics /
    by Chatti, Saloua, Chatti, Saloua
    Published 2019
    Subjects: “…Proof theory.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Proof Technology in Mathematics Research and Teaching
    Published 2019
    Subjects: “…Proof theory.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search