Combinators, Lambda-Terms and Proof Theory (Synthese Library)
Full Title: | Combinators, Lambda-Terms and Proof Theory (Synthese Library) |
---|---|
ISBN: | 9027703051 |
ISBN13: | 9789027703057 |
Authors: |
Soren Stenlund |