• Shop by category
  • Powered by eBay
  • Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Peresl

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

    • Logic at Botik '89. Short Title LOGIC AT BOTIK 89 1989/E. Subtitle Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings. - Building theories in Nuprl.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category