×
  • Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

    Egon Börger

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