Αποτελέσματα αναζήτησης

Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
  • Εμφανίζονται 1 - 14 Αποτελέσματα από 14
Περιορισμός αποτελεσμάτων
  1. 1
    Εξώφυλλο

    Proof, logic, and formalization

    Έκδοση 1992
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Εξώφυλλο

    Logic for concurrency and synchronisation

    Έκδοση 2003
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3
    Εξώφυλλο

    Lectures on the Curry-Howard isomorphism από Sørensen, Morten Heine

    Έκδοση 2006
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4
    Εξώφυλλο

    The nuts and bolts of proofs από Cupillari, Antonella

    Έκδοση 2005
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5
    Εξώφυλλο

    Memoirs of a proof theorist Gödel and other logicians / από Takeuti, Gaisi, 1926-

    Έκδοση 2003
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  6. 6
    Εξώφυλλο

    Tracking reason proof, consequence, and truth / από Azzouni, Jody

    Έκδοση 2006
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  7. 7
    Εξώφυλλο

    Conditional and preferential logics proof methods and theorem proving / από Pozzato, Gian Luca

    Έκδοση 2010
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  8. 8
    Εξώφυλλο

    Perspectives in logic logical foundations of proof complexity / από Cook, Stephen, 1948-

    Έκδοση 2010
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  9. 9
    Εξώφυλλο

    2-D quadratic maps and 3-D ODE systems a rigorous approach / από Zeraoulia, Elhadj

    Έκδοση 2010
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  10. 10
    Εξώφυλλο

    Charming proofs a journey into elegant mathematics / από Alsina, Claudi

    Έκδοση 2010
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  11. 11
    Εξώφυλλο

    Icons of mathematics an exploration of twenty key images / από Alsina, Claudi

    Έκδοση 2011
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  12. 12
    Εξώφυλλο

    Ways of proof theory από Schindler, Ralf

    Έκδοση 2010
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  13. 13
    Εξώφυλλο

    The elementary theory of groups : a guide through the proofs of the Tarski conjectures / από Fine, Benjamin, 1948-

    Έκδοση 2014
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  14. 14
    Εξώφυλλο

    Concepts of proof in mathematics, philosophy, and computer science /

    Έκδοση 2016
    An electronic book accessible through the World Wide Web; click to view
    Ηλεκτρονική πηγή Ηλ. βιβλίο

    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:

Εργαλεία αναζήτησης: