نتائج البحث

الموضوعات المستخلصة من بحثك.
  • يعرض 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
    الكتروني كتاب الكتروني

    أضف إلى المفضلة
    محفوظ في:

أدوات البحث: