×
  • Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

    Leo Bachmair (auth.)

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