Showing 1 - 14 results of 14 for search '"Isomorphism"', query time: 0.03s Refine Results
  1. 1
    Κατηγορική θεωρία Galois
    Subjects: “…Contravariant isomorphism…”
    Get full text
    Thesis
  2. 2
    ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  3. 3
    Η λογική των προτάσεων, προτασιακός λογισμός
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  4. 4
    Αποδεικτικό σύστημα
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  5. 5
    Σύστημα Hilbert
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  6. 6
    Συστήματα Gentzen
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  7. 7
    Υπολογισιμότητα, αναδρομικές συναρτήσεις
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  8. 8
    Τα Θεωρήματα μη πληρότητας του Gödel
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  9. 9
    Συστήματα Tableaux
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  10. 10
    Πρωτοβάθμια κατηγορηματική Λογική
    Subjects: “…Logic Completeness Undecidability Proof Theory Curry-howard Isomorphism…”
    Get full text
    7
  11. 11
    Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard
    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
    Get full text
    1
  13. 13
    Introduction to Group Theory
    Subjects: “…Isomorphism Theorems…”
    Get full text
    Get full text
    1
  14. 14
    Ομάδα 13 (ΙΙIΑ) του περιοδικού συστήματος (Οικογένεια Βορίου)
    Subjects: “…Isomorphism…”
    Get full text
    7
Search Tools: RSS Feed – Email Search