תוצאות חיפוש
בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
-
1
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II /
יצא לאור 1984Conference Proceeding ספר