בתוך החיפוש שלך נושאים מוצעים
Showing 1 - 3 results of 3 for search '', זמן שאילתה: 0.01s Refine Results
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    מאת Gallier, Jean H; Author
    יצא לאור 1987
    Printed Book
  2. 2
    Applied proof theory : proof interpretations and their use in mathematics /
    מאת Kohlenbach, U.
    יצא לאור 2008
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    מאת Gallier, Jean H.
    יצא לאור 2015
    Printed Book
כלי חיפוש: קבל רסס (RSS) — שליחת חיפוש דרך דואל