• Shop by category
  • Powered by eBay
  • Computational Logic and Proof Theory: 5th Kurt G?del Colloquium, KGC'97, Vienna,

    • Item No : 135778950747
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : the_nile
    • Current Bid : US $73.41
    • * Item Description

    • This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. This book constitutes the refereed proceedings of the 5th Kurt Godel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category