Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory (Lecture Notes in Mathematics)
Book Details
PublisherSpringer
ISBN / ASIN354013901X
ISBN-139783540139010
AvailabilityUsually ships in 24 hours
Sales Rank10,009,724
MarketplaceUnited States 🇺🇸
