Combinators, Lambda-Terms and Proof Theory (Synthese Library)
209.00
USD
Book Details
Author(s)Soren Stenlund
PublisherD Reidel
ISBN / ASIN9027703051
ISBN-139789027703057
MarketplaceUnited States 🇺🇸
