×
  • Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers

    Andrea Asperti

Click on cover to enlarge.
Buy This Book
From Amazon.
8 - 9Hours to read