λμ-Calculus: An algorithmic interpretation of classical natural deduction

Purchase on Springer.com

$29.95 / €24.95 / £19.95*

* Final gross prices may vary according to local VAT.

Get Access